Kq1b8ouhuxe5hfy8teg1
SkillsCast

Philip Wadler on Reynolds’s ‘Definitional Interpreters for Higher-Order Programming Languages’