Showing results 1 to 4 of 4
| 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 |