59 citations · 106 across the 9 of their papers we have counts for
Showing 2015Show all
2 papers · 1 filter
cs.PL2015
Elaborating Evaluation-Order Polymorphism
Jana Dunfield
We classify programming languages according to evaluation order: each language fixes one evaluation order as the default, making it transparent to program in that evaluation order,…
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…