Administrative normal form, continued: Sharing control in direct style
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 SepDisplayed time zone: Osaka, Sapporo, Tokyo change
15:30 - 16:30 | |||
15:30 30mTalk | Type Directed Compilation of Row-typed Algebraic Effects HOPE Daan Leijen Microsoft Research Link to publication | ||
16:00 30mTalk | 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 |