Dmitrij Szamozvancev | DeepAI

DeepAI

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

Featured Co-authors

Marcelo Fiore
8 publications
Neel Krishnaswami
6 publications
Christian Uldal Graulund
2 publications

research

∙ 01/10/2022

Formal Metatheory of Second-Order Abstract Syntax

Despite extensive research both on the theoretical and practical fronts,...

0 Marcelo Fiore, et al. ∙

research

∙ 10/23/2020

Adjoint Reactive GUI

Most interaction with a computer is done via a graphical user interface....

0 Christian Uldal Graulund, et al. ∙