An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
Christiansen, J., Seidel, D., & Voigtländer, J. (2010). An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry. In International Workshop on Functional and Constraint Logic Programming (S. 119–136). http://doi.org/10.1007/978-3-642-20775-4_7