Searching for "Modular type classes." – sorted by Relevance.
-
Modular Type Classes
- ā19, 2007, Nice, France. Copyright cā 2007 ACM 1-59593-575-4/07/0001. . . $5.00. Modular Type Classes Robert
- Cited by 12 (7 self) – Add To MetaCart
-
Modular Type Classes
- and instantiating pro- Modular Type Classes Robert Harper Carnegie Mellon University rwh@(email omitted); Manuel M
- Add To MetaCart
-
Mechanizing the Metatheory of Standard ML
- for language extensions such as recursive modules [4] and modular type classes [6]. For the present purposes
- Cited by 30 (2 self) – Add To MetaCart

