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
Type Directed Compilation of Row-typed Algebraic Effects
Daan Leijen Microsoft Research
Link to publication
Administrative normal form, continued: Sharing control in direct style
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