399 search results - page 1 / 80 » Type Classes are Signatures of Abstract Types |
PHOENIX
1991
13 years 8 months ago
1991
TPHOL
1997
IEEE
13 years 9 months ago
1997
IEEE
Type classes and overloading are shown to be independent concepts that can both be added to simple higher-order logics in the tradition of Church and Gordon, without demanding more...
NDJFL
2011
12 years 12 months ago
2011
ASPLOS
2006
ACM
13 years 11 months ago
2006
ACM
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
ECOOP
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. We present F(Eml), a language that combines classes, extensible functions, symmetric multiple dispatching, and a practical system for parameterized modules. Parameterized...