2932 search results - page 52 / 587 » Higher order mining |
ICPP
1997
IEEE
15 years 4 months ago
1997
IEEE
LICS
1997
IEEE
15 years 4 months ago
1997
IEEE
TPHOL
1997
IEEE
15 years 4 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...
139
click to vote
ICFP
1997
ACM
15 years 4 months ago
1997
ACM
We show how to implement a calculus with higher-order subtyping and subkinding by replacing uses of implicit subsumption with explicit coercions. To ensure this can be done, a pol...