1 citations · 1 across the 1 of their papers we have counts for
4 papers
Focusing on Refinement Typing
Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield
We present a logically principled foundation for systematizing, in a way that works with any computational effect and evaluation order, SMT constraint generation seen in refinement…
Fungi: Typed incremental computation with names
Matthew A. Hammer, Jana Dunfield, Kyle Headley +2
Incremental computations attempt to exploit input similarities over time, reusing work that is unaffected by input changes. To maximize this reuse in a general-purpose programming…
Prestige drives epistemic inequality in the diffusion of scientific ideas
Allison C. Morgan, Dimitrios J. Economou, Samuel F. Way +1
The spread of ideas in the scientific community is often viewed as a competition, in which good ideas spread further because of greater intrinsic fitness, and publication venue and…
Refinement types for precisely named cache locations
Matthew A. Hammer, Jana Dunfield, Dimitrios J. Economou +1
Many programming language techniques for incremental computation employ programmer-specified names for cached information. At runtime, each name identifies a "cache location" for a…