A General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types

What this record says

We propose a general framework for first-order functional logic programming, supporting lazy functions, non-determinism and polymorphic datatypes whose data constructors

CATALOG · The abstract is indexed.