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 1 to 9 of 9
TitleAuthor(s)Issue DateViews
EffectiveAdvice: Disciplined advice with explicit effects
Proceeding/Conference:AOSD.10 - 9th International Conference on Aspect-Oriented Software Development
2010
27
2012
26
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
39
Meta-theory à la carte
Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages
2013
30
Meta-theory à la Carte
Proceeding/Conference:ACM SIGPLAN Notices
2013
35
 
Modular Monadic Meta-Theory
Proceeding/Conference:Proceedings of the 18th ACM SIGPLAN international conference on Functional programming (ICFP 2013)
2013
60
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP
2011
41
Monads, zippers and views: Virtualizing the monad stack
Proceeding/Conference:ACM SIGPLAN Notices
2011
20
 
2012
46