Fungi: Typed incremental computation with names. - Matthew A. Hammer; Jana Dunfield; Kyle Headley; Monal Narasimhamurthy; Dimitrios J. Economou (CoRR, 2018)

Prestige drives epistemic inequality in the diffusion of scientific ideas. - Allison C. Morgan; Dimitrios J. Economou; Samuel F. Way; Aaron Clauset (EPJ Data Sci., 2018)

Focusing on Liquid Refinement Typing. - Dimitrios J. Economou; Neel Krishnaswami; Jana Dunfield (CoRR, 2022)

Focusing on Refinement Typing. - Dimitrios J. Economou; Neel Krishnaswami; Jana Dunfield (ACM Trans. Program. Lang. Syst., 2023)