399 search results - page 1 / 80 » Type Classes are Signatures of Abstract Types |
77
Voted
PHOENIX
1991
15 years 5 months ago
1991
102
Voted
TPHOL
1997
IEEE
15 years 6 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...
162
Voted
NDJFL
2011
14 years 9 months ago
2011
131
Voted
ASPLOS
2006
ACM
15 years 8 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...
98
Voted
ECOOP
2006
Springer
15 years 5 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...