Pruning with improving sequences in lazy functional programs Hideya IwasakiTakeshi MorimotoYasunao Takano OriginalPaper 29 August 2012 Pages: 281 - 309
Functional un|unparsing Kenichi AsaiOleg KiselyovChung-chieh Shan OriginalPaper 04 October 2012 Pages: 311 - 340
Type-specialized staged programming with process separation Yu David LiuChristian SkalkaScott F. Smith OriginalPaper 29 September 2012 Pages: 341 - 385
Erratum to: Continuation-Passing C, compiling threads to events through continuations Gabriel KerneisJuliusz Chroboczek Erratum 27 September 2012 Pages: 387 - 387