Items related to Functional and Logic Programming: 13th International...
Functional and Logic Programming: 13th International Symposium, FLOPS 2016, Kochi, Japan, March 4-6, 2016, Proceedings - Softcover
Synopsis
Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project.- From Sets to Bits in Coq.- From proposition to program: embedding the refinement calculus in Coq.- The Boolean Constraint Solver of SWI-Prolog: System Description.- Probabilistic inference by program transformation in Hakaru: System description.- An interaction net encoding of Godel's System T.- Space-efficient Planar Acyclicity Constraints: A Declarative Pearl.- Executable Relational Specifications of Polymorphic Type Systems using Prolog.- Proof Relevant Corecursive Resolution.- A Coq Library For Internal Verification of Running-Times.- A Transformational Approach to Parametric Accumulated-cost Static Profiling.- Polymorphic Types in Erlang Function Specifications.- Declarative foreign function binding through generic programming.- Declarative Programming with Algebra.
"synopsis" may belong to another edition of this title.
- PublisherSpringer
- Publication date2016
- ISBN 10 3319296051
- ISBN 13 9783319296050
- BindingPaperback
- LanguageEnglish
- Number of pages268
- EditorKiselyov Oleg, King Andy
(No Available Copies)
Search Books: Create a WantCan't find the book you're looking for? We'll keep searching for you. If one of our booksellers adds it to AbeBooks, we'll let you know!
Create a Want
