Blogs (28) >>
ICFP 2017
Sun 3 - Sat 9 September 2017 Oxford, United Kingdom
Tue 5 Sep 2017 14:07 - 14:30 at L1 - Foundations of Higher-Order Programming Chair(s): Gabriel Scherer

Algorithms that convert direct-style lambda-calculus terms to their equivalent terms in continuation-passing style (CPS) typically introduce so-called “administrative redexes:” useless artifacts of the conversion that must be cleaned up by a subsequent pass over the result to reduce them away. We present a simple, linear-time algorithm for CPS conversion that introduces no administrative redexes. In fact, the output term is a normal form in a reduction system that generalizes the notion of “administrative redexes” to what we call “no-brainer redexes,” that is, redexes whose reduction shrinks the size of the term. We state the theorems which establish the algorithm's desireable properties, along with sketches of the full proofs.

Tue 5 Sep

icfp-2017-papers
13:00 - 14:30: Research Papers - Foundations of Higher-Order Programming at L1
Chair(s): Gabriel SchererNortheastern University
icfp-2017-papers150460920000013:00 - 13:22
Talk
Makoto HamanaGunma University, Japan
DOI
icfp-2017-papers150461055000013:22 - 13:45
Talk
Alejandro AguirreIMDEA Software Institute, Spain, Gilles BartheIMDEA Software Institute, Spain, Marco GaboardiUniversity at Buffalo, SUNY, USA, Deepak GargMPI-SWS, Germany, Pierre-Yves StrubÉcole Polytechnique, n.n.
DOI
icfp-2017-papers150461190000013:45 - 14:07
Talk
Thibaut BalabonskiLRI, France / University of Paris-Sud, France, Pablo BarenbaumUniversity of Buenos Aires, Argentina / IRIF, France / University of Paris Diderot, France, Eduardo BonelliCONICET, Argentina / Universidad Nacional de Quilmes, Argentina, Delia KesnerIRIF, France / University of Paris Diderot, France
DOI
icfp-2017-papers150461325000014:07 - 14:30
Talk
Milo DavisNortheastern University, USA, William MeehanNortheastern University, USA, Olin ShiversNortheastern University, USA
DOI