Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
Article in Theory and Practice of Logic Programming (July 2018)
The most recent citing publication is shown below. View this citation on Dimensions.
Functional and Logic Programming
Overview of attention for book
Table of Contents
-
Altmetric BadgeBook Overview
-
Altmetric BadgeChapter 1 Logic/Constraint Programming and Concurrency: The Hard-Won Lessons of the Fifth Generation Computer Project
-
Altmetric BadgeChapter 2 From Sets to Bits in Coq
-
Altmetric BadgeChapter 3 From Proposition to Program
-
Altmetric BadgeChapter 4 The Boolean Constraint Solver of SWI-Prolog (System Description)
-
Altmetric BadgeChapter 5 Probabilistic Inference by Program Transformation in Hakaru (System Description)
-
Altmetric BadgeChapter 6 An Interaction Net Encoding of Gödel’s System $$\mathcal {T}$$
-
Altmetric BadgeChapter 7 Space-Efficient Planar Acyclicity Constraints
-
Altmetric BadgeChapter 8 Functional and Logic Programming
-
Altmetric BadgeChapter 9 Proof Relevant Corecursive Resolution
-
Altmetric BadgeChapter 10 A Coq Library for Internal Verification of Running-Times
-
Altmetric BadgeChapter 11 A Transformational Approach to Parametric Accumulated-Cost Static Profiling
-
Altmetric BadgeChapter 12 Polymorphic Types in Erlang Function Specifications
-
Altmetric BadgeChapter 13 Declarative Foreign Function Binding Through Generic Programming
-
Altmetric BadgeChapter 14 Incremental Computing with Abstract Data Structures
-
Altmetric BadgeChapter 15 Declarative Programming with Algebra