SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
SPLASH 2020 (series) / Georgios Karachalias
Georgios Karachalias

Registered user since Tue 10 Mar 2020

Name: Georgios Karachalias

Country: Netherlands

Affiliation: Tweag I/O

Personal website: https://gkaracha.github.io/

Research interests: Programming Languages, Compilers, Functional Programming

Contributions

SPLASH 2020Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track
Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track
Show activities from other conferences

Using general profile