Design and Implementation of a Generic, Logic and Functional Programming Language
Abstract elided by the publisher.
Related papers
- Prototyping a functional language using higher-order logic programming: a functional pearl on learning the ways of λProlog/Makam ICFP 2018
- Backtracking, interleaving, and terminating monad transformers: (functional pearl) ICFP 2005
- Modular Verification of Differential Privacy in Probabilistic Higher-Order Separation Logic PLDI 2026
- Functional logic overloading POPL 2002
- Automatic and scalable detection of logical errors in functional programming assignments OOPSLA 2019
- Refinement types for secure implementations TOPLAS 2011
- Functional declarative language design and predicate calculus: a practical approach TOPLAS 2005
- A functional-logic library for wired Haskell 2007