most citedA General Framework For Lazy Functional Logic Programming With Algebraic Polymorphic Types

14 citations · 14 across the 1 of their papers we have counts for

collaborators

1 paper

cs.PL2004★ 14 cited

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

Puri Arenas-Sanchez, Mario Rodriguez-Artalejo

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