Write a Blog >>
ICFP 2016
Sun 18 - Sat 24 September 2016 Nara, Japan
Sun 18 Sep 2016 16:00 - 16:30 at Conference Room 3 - Session 3 (Compilation)

Administrative normal form (ANF) promises to reap the benefits of continuation-passing style (CPS) while retaining the advantages of direct style. However, we believe ANF falls short of this ideal because it does not provide a satisfactory way to describe shared control flow, as CPS does naturally. We show how CPS itself can guide us in adding a control effect to ANF and taming it to regain purity, guaranteeing an efficient implementation. Interestingly, even though CPS is usually used for compiling call-by-value languages, our technique is independent of the evaluation strategy. In short, we propose that the known advantages of CPS can be achieved by extending ANF, or in general a direct-style representation. Does this mean that CPS is finally out? No: whatever the compiler’s chosen representation, we suspect CPS will reveal new insights about program manipulation.

Sun 18 Sep

Displayed time zone: Osaka, Sapporo, Tokyo change

15:30 - 16:30
Session 3 (Compilation)HOPE at Conference Room 3
15:30
30m
Talk
Type Directed Compilation of Row-typed Algebraic Effects
HOPE
Daan Leijen Microsoft Research
Link to publication
16:00
30m
Talk
Administrative normal form, continued: Sharing control in direct style
HOPE
Luke Maurer University of Oregon, USA, Paul Downen University of Oregon, USA, Zena M. Ariola University of Oregon, USA, Simon Peyton Jones Microsoft Research, UK