Meet up

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

Tuesday, 7th June at CodeNode, London

This meetup was organised by Papers We Love in June 2016


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

It is now common to explicate the structure of a programming language by presenting an interpreter for that language. If the language interpreted is the same as the language doing the interpreting, the interpreter is called meta-circular. Interpreters may be written at differing levels of detail, to explicate different implementation strategies. For instance, the interpreter may be written in a continuation-passing style; or some of the higher-order functions may be represented explicitly using data-structures, via defunctionalisation. More elaborate interpreters may be derived from simpler versions, thus providing a methodology for discovering an implementation strategy and showing it correct. Each of these techniques has become a mainstay of the study of programming languages, and all of them were introduced in this single paper by Reynolds.

You can find the relevant papers here.

Philip Wadler

Philip Wadler has contributed to the designs of Haskell, Java, and XQuery, and is a co-author of XQuery from the Experts (Addison Wesley, 2004) and Generics and Collections in Java (O'Reilly, 2006).

Thank you to our sponsors and partners


Who's coming?

Attending Members