Dimitrios J. Economou

According to our database, Dimitrios J. Economou authored at least 4 papers between 2018 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Focusing on Refinement Typing.

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

ACM Trans. Program. Lang. Syst., December, 2023

2022

Focusing on Liquid Refinement Typing.

Dimitrios J. Economou, Neel Krishnaswami, Jana Dunfield

CoRR, 2022

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

Fungi: Typed incremental computation with names.

Matthew A. Hammer, Jana Dunfield, Kyle Headley, Monal Narasimhamurthy, Dimitrios J. Economou

CoRR, 2018