19th Workshop on Functional and (Constraint) Logic Programming
January 17th, 2010, Madrid, Spain — Co-located with
POPL 2010
Pieter Wuille — Parameterized Models for On-line and Off-line Use