Dimitrios J. Economou | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Neel Krishnaswami
6 publications
Jana Dunfield
3 publications
Monal Narasimhamurthy
3 publications
Matthew A. Hammer
2 publications
Kyle Headley
2 publications

research

∙ 09/26/2022

Focusing on Liquid Refinement Typing

We present a foundation systematizing, in a way that works for any evalu...

0 Dimitrios J. Economou, et al. ∙

research

∙ 08/20/2018

Fungi: Typed incremental computation with names

Incremental computations attempt to exploit input similarities over time...

0 Matthew A. Hammer, et al. ∙