SPLASH 2020
Sun 15 - Sat 21 November 2020 Online Conference
SPLASH 2020 (series) / Georgios Karachalias
Georgios Karachalias

Registered user since Tue 10 Mar 2020

Name:Georgios Karachalias
Affiliation:Tweag
Personal website:https://gkaracha.github.io/
Research interests:Programming Languages, Compilers, Functional Programming

Contributions

SPLASH 2020 Resolution as Intersection Subtyping via Modus Ponens
Resolution as Intersection Subtyping via Modus Ponens
Resolution as Intersection Subtyping via Modus Ponens
Show activities from other conferences

SPLASH 2020-profile
View general profile