18.10.16
Papers We Love Remote Meetup: John Reynolds, Definitional Interpreters for Higher-Order Languages
I will reprise my June presentation to Papers We Love London at Papers We Love Remote Meetup 2, today at 7pm UK time, with the subject John Reynolds, Definitional Interpreters for Higher-Order Languages. Learn the origins of denotational semantics and continuations. Additional citations here. See you there!
Labels: Functional Programming, Programming Languages, Theory, Types
