New Results on Type Systems for Functional Logic Programming

DOI10.1007/978-3-642-11999-6_9zbMath1274.68045OpenAlexW1534348627MaRDI QIDQ3557099

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

Publication date: 27 April 2010

Published in: Functional and Constraint Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-11999-6_9

Mathematics Subject Classification ID

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

Related Items (2)

Safe typing of functional logic programs with opaque patterns and local bindings ⋮ A liberal type system for functional logic programs

This page was built for publication: New Results on Type Systems for Functional Logic Programming