2565 search results - page 16 / 513 » Object type constructors |
168
Voted
ICFP
1997
ACM
15 years 6 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...
117
click to vote
TPHOL
1997
IEEE
15 years 6 months ago
1997
IEEE
This paper describes the concept of higher order quotients and an implementation in Isabelle. Higher order quotients are a generalization of quotients. They use partial equivalence...
75
Voted
POS
1987
Springer
15 years 5 months ago
1987
Springer
79
Voted
IANDC
2002
15 years 1 months ago
2002