Semantics and types in functional logic programming

DOI10.1007/10705424_1MaRDI QIDQ2766766zbMATH OpenFDO

Authors Juan Carlos Gonzalez-Moreno, M. T. Hortalá González, M. Rodríguez Artalejo

Publication date 22 July 2002

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

Full work available at URL https://doi.org/10.1007/10705424_1

Mathematics Subject Classification ID

Logic programming (68N17) Functional programming and lambda calculus (68N18)

Recommendations

• Polymorphic types in functional logic programming
• scientific article; zbMATH DE number 2048606
• scientific article; zbMATH DE number 1407673
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• Equivalence of two formal semantics for functional logic programs

Cited in

(14)

• Semantics of untyped functional programs
• Safe typing of functional logic programs with opaque patterns and local bindings
• Polymorphic types in functional logic programming
• Extra variables can be eliminated from functional logic programs
• Algebraic semantics for functional logic programming with polymorphic order-sorted types
• New results on type systems for functional logic programming
• scientific article; zbMATH DE number 4002073 (Why is no real title available?)
• First-order functional languages and intensional logic
• scientific article; zbMATH DE number 2048606 (Why is no real title available?)
• Type-theoretic functional semantics
• scientific article; zbMATH DE number 1407673 (Why is no real title available?)
• Pure type systems in rewriting logic: specifying typed higher-order languages in a first-order logical framework
• Rewriting and Call-Time Choice: The HO Case
• A liberal type system for functional logic programs

Describes a project that uses

Uses Software

• HiLog

This page was built for publication: Semantics and types in functional logic programming

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