Write a Blog >>
PEPM 2017
Mon 16 - Tue 17 January 2017
co-located with POPL 2017
Mon 16 Jan 2017 09:00 - 10:00 at Salle 109, Barre 44-54 - Keynote Chair(s): Ulrik Schultz

Any expression M in ULC (the untyped λ-calculus) can be compiled into a rather low-level language we call LLL, whose programs contain none of the traditional implementation devices for functional languages: environments, thunks, closures, etc. A compiled program is first-order functional and has a fixed set of working variables, whose number is independent of M. The generated LLL code in effect traverses the subexpressions of M.

We apply the techniques of game semantics to the untyped λ-calculus, but take a more operational viewpoint that uses less mathematical machinery than traditional presentations of game semantics. Further, the untyped lambda calculus ULC is compiled into LLL by partially evaluating a traversal algorithm for ULC.

Mon 16 Jan

pepm-workshop
09:00 - 10:00: PEPM 2017 - Keynote at Salle 109, Barre 44-54
Chair(s): Ulrik SchultzUniversity of Southern Denmark
pepm-workshop09:00 - 10:00
Talk
Daniil BerezunJetBrains, Russia, Neil D. JonesUniversity of Copenhagen, Danmark
DOI