19th Workshop on Functional and (Constraint) Logic Programming
January 17th, 2010, Madrid, Spain — Co-located with
POPL 2010
Michael Hanus — Lazy and Faithful Assertions for Functional Logic Programs