Blogs (1) >>
POPL 2019
Sun 13 - Sat 19 January 2019 Cascais, Portugal
Mon 14 Jan 2019 12:00 - 12:30 at Sala X - Session 1 Chair(s): Manuel Hermenegildo

Closure calculus is simpler than pure lambda-calculus as it does not mention free variables or index manipulation, variable renaming, implicit substitution, or any other meta-theory. Further, all programs, even recursive ones, can be expressed as normal forms. Third, there are reduction-preserving translations to calculi built from combinations of operators, in the style of combinatory logic. These improvements are achieved without sacrificing three fundamental properties of lambda-calculus, being a confluent rewriting system, supporting the Turing computable numerical functions, and supporting simple typing.

Mon 14 Jan

Displayed time zone: Belfast change

11:00 - 12:30
Session 1PEPM at Sala X
Chair(s): Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
11:00
5m
Day opening
Welcome to PEPM19
PEPM
C: Atsushi Igarashi Kyoto University, Japan, C: Manuel Hermenegildo IMDEA Software Institute and T.U. of Madrid (UPM)
11:05
55m
Talk
Applying Futamura Projections to Compose Languages and Tools in GraalVM (Invited Talk)
PEPM
Christian Humer Oracle Labs, Switzerland
File Attached
12:00
30m
Talk
A Simpler Lambda Calculus
PEPM
Barry Jay University of Technology Sydney
DOI