Tom Schrijvers - SPLASH 2020

Sun 15 - Sat 21 November 2020 Online Conference

Registered user since Mon 10 Feb 2020

Name: Tom Schrijvers

Affiliation: KU Leuven

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

Contributions

ECOOP 2020	Row and Bounded Polymorphism via Disjoint Polymorphism Row and Bounded Polymorphism via Disjoint Polymorphism
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
Show activities from other conferences

SPLASH 2020-profile
View general profile