J. Garrett Morris

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

research

∙ 07/18/2023

We propose a novel approach to soundly combining linear types with effec...

research

∙ 07/17/2023

We present a novel approach to generic programming over extensible data ...

research

∙ 05/19/2021

This paper introduces Hypersequent GV (HGV), a modular and extensible co...

research

∙ 09/29/2019

Process calculi based in logic, such as πDILL and CP, provide a foundati...

research

∙ 06/29/2017

We present an approach to support partiality in type-level computation w...