An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry

Functional and Constraint Logic Programming - Lecture Notes in Computer Science ◽

10.1007/978-3-642-20775-4_7 ◽

2011 ◽

pp. 119-136 ◽

Author(s):

Jan Christiansen ◽

Daniel Seidel ◽

Janis Voigtländer

Download Full-text