%0 Conference Paper
%B International Workshop on Functional and Constraint Logic Programming
%D 2010
%P 119-136
%R 10.1007/978-3-642-20775-4_7
%T An Adequate, Denotational, Functional-Style Semantics for Typed FlatCurry