A Syntactic Approach to Combining Functional Notation, Lazy Evaluation, and Higher-Order in LP Systems
From MaRDI portal
Publication:3434630
DOI10.1007/11737414_11zbMath1185.68151MaRDI QIDQ3434630
Manuel V. Hermenegildo, Daniel Cabeza, Amadeo Casas
Publication date: 2 May 2007
Published in: Functional and Logic Programming (Search for Journal in Brave)
Full work available at URL: http://oa.upm.es/14350/
lazy evaluation; logic programming; functional programming; higher order; declarative languages; logic-functional programming
Related Items
Description and Optimization of Abstract Machines in a Dialect of Prolog, Annotation Algorithms for Unrestricted Independent And-Parallelism in Logic Programs, Monadic constraint programming
Uses Software