42 citations · 70 across the 2 of their papers we have counts for
2 papers
cs.PL2015★ 42 cited
Incremental Computation with Names
Matthew A. Hammer, Jana Dunfield, Kyle Headley +4
Over the past thirty years, there has been significant progress in developing general-purpose, language-based approaches to incremental computation, which aims to efficiently updat…
cs.PL2012★ 28 cited
Optimizing Abstract Abstract Machines
J. Ian Johnson, Nicholas Labich, Matthew Might +1
The technique of abstracting abstract machines (AAM) provides a systematic approach for deriving computable approximations of evaluators that are easily proved sound. This article…