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

Jan Christiansen, Daniel Seidel, Janis Voigtländer (2010)
a service of Schloss Dagstuhl - Leibniz Center for Informatics