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
2025
Symposium on Practical Aspects of Declarative Languages
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