8141 search results - page 56 / 1629 » Higher Order Generalization |
RTA
1998
Springer
15 years 7 months ago
1998
Springer
ICPP
1997
IEEE
15 years 7 months ago
1997
IEEE
110
Voted
LICS
1997
IEEE
15 years 7 months ago
1997
IEEE
118
click to vote
TPHOL
1997
IEEE
15 years 7 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...