Matthew A. Hammer | DeepAI

DeepAI

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

Featured Co-authors

Ravi Chugh
10 publications
Cyrus Omar
4 publications
Jana Dunfield
3 publications
Monal Narasimhamurthy
3 publications
Kyle Headley
2 publications
Dimitrios J. Economou
2 publications
Ian Voysey
1 publication

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. ∙

research

∙ 05/01/2018

Live Functional Programming with Typed Holes

This paper develops a dynamic semantics for incomplete functional progra...

0 Cyrus Omar, et al. ∙