Gert-Jan Bottu | DeepAI

DeepAI

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

Featured Co-authors

Tom Schrijvers
15 publications
Richard A. Eisenberg
6 publications
Ningning Xie
5 publications
Koar Marntirosian
2 publications

research

∙ 06/28/2021

Seeking Stability by being Lazy and Shallow

Designing a language feature often requires a choice between several, si...

0 Gert-Jan Bottu, et al. ∙

research

∙ 07/01/2019

Coherence of Type Class Resolution

Elaboration-based type class resolution, as found in languages like Hask...

0 Gert-Jan Bottu, et al. ∙