Dimitrios J. Economou

Orcid: 0000-0001-7920-744X

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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2023
Focusing on Refinement Typing.
ACM Trans. Program. Lang. Syst., December, 2023

2022
Focusing on Liquid Refinement Typing.
CoRR, 2022

2018
Prestige drives epistemic inequality in the diffusion of scientific ideas.
EPJ Data Sci., 2018

Fungi: Typed incremental computation with names.
CoRR, 2018


  Loading...