Continuations in PLV Reading Group this week

[Anthony Sloane]

The Programming Languages and Verification Reading Group at Macquarie University, Department of Computing meets on (many) Fridays from 4-6pm in the Jan Hext Seminar Room (room 221, 4 Research Park Drive, formerly the BD Building).

plvmq.bitbucket.io/#readinggroup/

Our current topic is:

Continuations

On June 28 in the first part of the meeting Cameron Pappas will present a short talk that introduce continuations and their use in compilation.

Abstract

Continuations have a number of applications in both programming language theory and compiler construction. A common use for continuations is to use them to define intermediate languages in compilers that have an explicit control flow. In this talk we will present our findings on continuations and present a simple continuation passing style compiler.

After the talk we will discuss the paper "Functional semantics of parsing actions, and left recursion elimination as continuation passing” by Hayo Thielecke from PPDP 2012 [1].

[1] https://dl.acm.org/citation.cfm?id=2370789

cheers,

Tony