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 2 to 9 of 9 < previous 
TitleAuthor(s)Issue DateViews
2012
33
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
46
Meta-theory à la carte
Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2013
39
Meta-theory à la Carte
Proceeding/Conference:ACM SIGPLAN Notices
2013
46
 
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
46
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:ACM SIGPLAN Notices
2011
26
 
2012
56