Extensions: A technique for structuring functional-logic programs

DOI10.1007/3-540-46562-6_26MaRDI QIDQ2729927zbMATH OpenFDO

Authors F. J. López-Fraguas, Rafael Caballero

Publication date 23 October 2001

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-46562-6_26

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18) Computing methodologies and applications (68U99)

Recommendations

• Double applicative functors
• Type classes with functional dependencies
• scientific article; zbMATH DE number 3940711
• Functional programming with side-effects
• Programming monads operationally with Unimo

Cited in

(14)

• Double applicative functors
• Laws of monadic error handling
• Type classes with functional dependencies
• Towards the essence of hygiene
• A logic for extensional protocols
• High-level views on low-level representations
• scientific article; zbMATH DE number 1002576 (Why is no real title available?)
• Routines: An argument against the conventional approach to functions and procedures
• The essence of expression refinement
• The constrained-monad problem
• A tutorial on a monadic approach for exppressions evaluation
• Programming monads operationally with Unimo
• Static rules of variable scoping in Erlang
• Codata in action

This page was built for publication: Extensions: A technique for structuring functional-logic programs

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2729927)