Showing results 1 to 8 of 8
| Title | Author(s) | Issue Date | |
|---|---|---|---|
EffectiveAdvice: Disciplined advice with explicit effects Proceeding/Conference:AOSD.10 - 9th International Conference on Aspect-Oriented Software Development | 2010 | ||
The implicit calculus: A new foundation for generic programming Proceeding/Conference:ACM SIGPLAN Notices | 2012 | ||
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 | ||
Meta-theory à la carte Proceeding/Conference:Conference Record of the Annual ACM Symposium on Principles of Programming Languages | 2013 | ||
Meta-theory à la Carte Proceeding/Conference:ACM SIGPLAN Notices | 2013 | ||
Monads, zippers and views: Virtualizing the monad stack Proceeding/Conference:ACM SIGPLAN Notices | 2011 | ||
Monads, zippers and views: Virtualizing the monad stack Proceeding/Conference:Proceedings of the ACM SIGPLAN International Conference on Functional Programming, ICFP | 2011 | ||
MRI: Modular reasoning about interference in incremental programming Journal:Journal of Functional Programming | 2012 |