TY - CPAPER
AU - Jan Christiansen
AU - Daniel Seidel
AU - Janis Voigtländer
BT - International Workshop on Functional and Constraint Logic Programming
DO - 10.1007/978-3-642-20775-4_7
PY - 2010
SP - 119
EP - 136
T2 - International Workshop on Functional and Constraint Logic Programming
TI - An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry
ER -