Browsing by Author Schrijvers, T

Jump to: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Showing results 15 to 18 of 18 < previous 
TitleAuthor(s)Issue DateViews
Quantified class constraints
Proceeding/Conference:Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell
2017
5
 
Resolution as intersection subtyping via Modus Ponens
Journal:Proceedings of the ACM on Programming Languages
2020
9
 
Row and Bounded Polymorphism via Disjoint Polymorphism
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2020
7
 
The Essence of Nested Composition
Proceeding/Conference:LIPICS - Leibniz International Proceedings in Informatics
2018
4