SPLASH 2020
Sun 15 - Sat 21 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

SPLASH 2020 Resolution as Intersection Subtyping via Modus Ponens
Resolution as Intersection Subtyping via Modus Ponens
Row and Bounded Polymorphism via Disjoint Polymorphism
Resolution as Intersection Subtyping via Modus Ponens
ECOOP 2020 Row and Bounded Polymorphism via Disjoint Polymorphism
Row and Bounded Polymorphism via Disjoint Polymorphism
Show activities from other conferences

SPLASH 2020-profile
View general profile