Joseph W. Cutler | DeepAI

DeepAI

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

Featured Co-authors

Benjamin C. Pierce
13 publications
Daniel R. Licata
8 publications
Norman Danner
5 publications
Caleb Stanford
5 publications
Harrison Goldstein
3 publications
Phillip Hilliard
1 publication
Christopher Watson
1 publication

research

∙ 07/18/2023

Stream Types

We propose a rich foundational theory of typed data streams and stream t...

0 Joseph W. Cutler, et al. ∙

research

∙ 06/26/2020

Denotational recurrence extraction for amortized analysis

A typical way of analyzing the time complexity of functional programs is...

0 Joseph W. Cutler, et al. ∙