2 search results - page 1 / 1 » Subtyping Recursive Types Modulo Associative Commutative Pro... |
TLCA
2005
Springer
13 years 10 months ago
2005
Springer
This work sets the formal bases for building tools that help retrieve classes in object-oriented libraries. In such systems, the user provides a query, formulated as a set of class...
LICS
2000
IEEE
13 years 8 months ago
2000
IEEE
Equality and subtyping of recursive types have been studied in the 1990s by Amadio and Cardelli; Kozen, Palsberg, and Schwartzbach; Brandt and Henglein; and others. Potential appl...