3605 search results - page 2 / 721 » Associated types with class |
TPHOL
1999
IEEE
13 years 9 months ago
1999
IEEE
The standard versions of HOL only support disjoint sums over finite families of types. This paper introduces disjoint sums over type classes containing possibly a countably infinit...
POPL
2007
ACM
14 years 5 months ago
2007
ACM
ML modules and Haskell type classes have proven to be highly effective tools for program structuring. Modules emphasize explicit configuration of program components and the use of...
CACM
2008
13 years 5 months ago
2008
data type and (Java) class, asking about the relationship between them. The same students would also be unlikely to find an answer in a CS1 textbook. Some textbooks might not even ...
MOC
2000
13 years 5 months ago
2000
In this paper we exhibit a finite element method fitting a suitable geometry naturally associated with a class of degenerate elliptic equations (usually called Grushin type equatio...
ROOM
2000
13 years 6 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...