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 9 of 9 < previous 
TitleAuthor(s)Issue DateViews
Meta-theory à la carte
Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2013
27
Meta-theory à la Carte
Proceeding/Conference:ACM SIGPLAN Notices
2013
 
Modular Monadic Meta-Theory
Proceeding/Conference:Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (ICFP 2013)
2013
33
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2011
35
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:ACM SIGPLAN Notices
2011
19
 
2012
33