565 citations · 583 across the 7 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
Capturing the Future by Replaying the Past
James Koppel, Gabriel Scherer, Armando Solar-Lezama
Delimited continuations are the mother of all monads! So goes the slogan inspired by Filinski's 1994 paper, which showed that delimited continuations can implement any monadic effe…
cs.PL2017★ 9 cited
One Tool, Many Languages: Language-Parametric Transformation with Incremental Parametric Syntax
James Koppel, Varot Premtoon, Armando Solar-Lezama
We present a new approach for building source-to-source transformations that can run on multiple programming languages, based on a new way of representing programs called increment…