Searching for "Type Classes in Mercury." – sorted by Relevance.
-
Type classes in Mercury
- Type classes in Mercury DRAFT David Jeffery, Fergus Henderson and Zoltan Somogyi Department
- Add To MetaCart
-
MCORBA: A CORBA Binding for Mercury
- is required to prove all the assertions contained in :- pred and :- mode declarations. Type classes. Mercury
- Cited by 14 (0 self) – Add To MetaCart
-
Expressive Type Systems for Logic Programming Languages
- and instance declarations . . . . . . . . . . . . 48 3.3 Type classes in Mercury
- Cited by 1 (0 self) – Add To MetaCart

