19th Workshop on Functional and (Constraint) Logic Programming
January 17th, 2010, Madrid, Spain — Co-located with
POPL 2010
Daniel Seidel — A Denotational Semantics for Curry