A liberal type system for functional logic programs

DOI10.1017/S0960129513000091zbMath1361.68041MaRDI QIDQ5740645

Enrique Martin-Martin, Francisco J. López Fraguas, Juan Rodríguez-Hortalá

Publication date: 27 July 2016

Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

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

Cites Work

• A theory of type polymorphism in programming
• Normalization results for typeable rewrite systems
• New Results on Type Systems for Functional Logic Programming
• Automatically Generating Counterexamples to Naive Free Theorems
• Multi-paradigm Declarative Languages
• An approach to declarative programming based on a rewriting logic
• Rewriting and Call-Time Choice: The HO Case
• Generics for the masses

This page was built for publication: A liberal type system for functional logic programs