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 July 12 we will continue discussing 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