SPLASH 2020
Sun 15 - Fri 20 November 2020 Online Conference
SPLASH 2020 (series) / Tom Schrijvers
Tom Schrijvers

Registered user since Mon 10 Feb 2020

Name: Tom Schrijvers

Affiliation: KU Leuven

Personal website: http://people.cs.kuleuven.be/~tom.schrijvers

Contributions

ECOOP 2020Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Research Papers-track
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