PwL Remote #2 - Philip Wadler on Definitional Interpreters for Higher-Order Programming Languages Published -- Download video MP4 360p