conf.researchr.org / Tom Schrijvers
Registered user since Mon 10 Feb 2020
Name:Tom Schrijvers
Country:Belgium
Affiliation:KU Leuven
Personal website: http://people.cs.kuleuven.be/~tom.schrijvers
Contributions
2024
Symposium on Practical Aspects of Declarative Languages
2023
Symposium on Practical Aspects of Declarative Languages
2022
Haskell
2021
2020
SPLASH
- Author of Resolution as Intersection Subtyping via Modus Ponens within the Posters-track
- Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA Artifacts-track
- Author of Row and Bounded Polymorphism via Disjoint Polymorphism within the Posters-track
- Author of Resolution as Intersection Subtyping via Modus Ponens within the OOPSLA-track