LPG: A Generic, Logic and Functional Programming Language
Abstract elided by the publisher.
Related papers
- Design and Implementation of a Generic, Logic and Functional Programming Language ESOP 1986
- Verification Condition Generation for Permission Logics with Abstract Predicates and Abstraction Functions ECOOP 2013
- Formalisation in higher-order logic and code generation to functional languages of the Gauss-Jordan algorithm JFP 2015
- Partial Evaluation of Functional Logic Programs TOPLAS 1998
- Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam ICFP 2018
- A functional-logic library for wired Haskell 2007
- A Domain-Theoretic Approach to Functional and Logic Programming JFP 1992
- Automatic and scalable detection of logical errors in functional programming assignments OOPSLA 2019