Showing results 1 to 5 of 5
Title | Author(s) | Issue Date | |
---|---|---|---|
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 | ||
The implicit calculus: A new foundation for generic programming Proceeding/Conference:ACM SIGPLAN Notices | 2012 | ||
Type classes as objects and implicits Proceeding/Conference:Proceedings of the Conference on Object-Oriented Programming Systems, Languages, and Applications, OOPSLA | 2010 | ||
Type classes as objects and implicits Proceeding/Conference:ACM SIGPLAN Notices | 2010 | ||
TypeCase: A design pattern for type-indexed functions Proceeding/Conference:Haskell'05 - Proceedings of the ACM SIGPLAN 2005 Haskell Workshop | 2005 |