Koar Marntirosian | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

Featured Co-authors

Tom Schrijvers
15 publications
Ningning Xie
5 publications
Bruno C. D. S. Oliveira
4 publications
Georgios Karachalias
4 publications
Gert-Jan Bottu
2 publications

research

∙ 10/13/2020

Resolution as Intersection Subtyping via Modus Ponens

Resolution and subtyping are two common mechanisms in programming langua...

0 Koar Marntirosian, 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. ∙

Success!

An error occurred