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 4 to 18 of 18 < previous 
TitleAuthor(s)Issue DateViews
 
Distributive Disjoint Polymorphism for Compositional Programming
Proceeding/Conference:Proceedings of the 28th European Symposium on Programming (ESOP 2019): Programming Languages and Systems
2019
6
EffectiveAdvice: Disciplined advice with explicit effects
Proceeding/Conference:AOSD.10 - 9th International Conference on Aspect-Oriented Software Development
2010
35
Formalization of a Polymorphic Subtyping Algorithm
Proceeding/Conference:Proceedings of the 9th International Conference on Interactive Theorem Proving (ITP 2018)
2018
4
2012
34
The implicit calculus: A new foundation for generic programming
Proceeding/Conference:Proceedings of the ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI)
2012
38
Meta-theory à la carte
Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2013
29
Meta-theory à la Carte
Proceeding/Conference:ACM SIGPLAN Notices
2013
44
 
Modular Monadic Meta-Theory
Proceeding/Conference:Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (ICFP 2013)
2013
70
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2011
34
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:ACM SIGPLAN Notices
2011
27
 
2012
55
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