MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Subtyping Recursive Types." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

79 documents found, showing 1 through 10. Next 10 →

ATOM

Subtyping Recursive Types
by Roberto Amadio , Luca Cardelli — 1993 — ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS
… We investigate the interactions of subtyping and recursive types, in a simply typed l…
Cited by 281 (12 self) – Add To MetaCart

Subtyping Recursive Types in Kernel Fun
by Dario Colazzo, Giorgio Ghelli — 1999 — In IEEE Symposium on Logic in Computer Science (LICS
…Subtyping Recursive Types in Kernel Fun Dario Colazzo, Giorgio Ghelli Dipartimento d…
Cited by 6 (1 self) – Add To MetaCart

Subtyping Recursive Types modulo Associative Commutative Products
by Roberto Di Cosmo, Francois Pottier, Didier Remy — 2003 — Seventh International Conference on Typed Lambda Calculi and Applications (TLCA ’05
…Subtyping Recursive Types modulo Associative Commutative Products Roberto Di Cosmo , Franois…
Cited by 4 (0 self) – Add To MetaCart

A Complete Type Inference System for Subtyped Recursive Types
by Tatsurou Sekiguchi, Akinori Yonezawa — 1994 — IN PROC. THEORETICAL ASPECTS OF COMPUTER SOFTWARE
…A Complete Type Inference System for Subtyped Recursive Types Tatsurou Sekiguchi and Akinori…
Cited by 3 (0 self) – Add To MetaCart

Subtyping Recursive Games
by Juliusz Chroboczek — 2001 — In Proceedings of the Fifth International Conference on Typed Lambda Calculi and Applications (TLCA’01
… calculus that includes both subtyping and recursive types. Our model solves recursive type equations up…
Cited by 2 (1 self) – Add To MetaCart

Type inference in systems of recursive types with subtyping
by Trevor Jim, Jens Palsberg — 1997
… Type inference in systems of recursive types with subtyping Trevor Jim Jens Palsberg July 24…
Cited by 13 (3 self) – Add To MetaCart

Coinductive Axiomatization of Recursive Type Equality and Subtyping
by Michael Brandt, H. J. Holst Vej -a, Fritz Henglein — 1998
… and subtype inequality for a first-order type language with regular recursive types. The rules are motivated…
Cited by 47 (1 self) – Add To MetaCart

Discriminative Sum Types Locate the Source of Type Errors
by Matthias Neubauer, Peter Thiemann — 2003 — In ICFP ’03: Proceedings of the eighth ACM SIGPLAN international conference on Functional programming
… elaborate on the additional features, annotation subtyping and recursive types, required to turn type…
Cited by 8 (1 self) – Add To MetaCart

Subtyping with Union Types, Intersection Types and Recursive Types II
by Flemming Damm, Projet Lande — 1994 — Theoretical Aspects of Computer Software
… 1166-8687 816 SUBTYPING WITH UNION TYPES, INTERSECTION TYPES AND RECURSIVE TYPES II FLEMMING DAMM I…
Cited by 17 (2 self) – Add To MetaCart

Efficient Type Matching
by Somesh Jha, Jens Palsberg, Tian Zhao — 2001
… applications of our algorithm to Java. Issues related to subtyping of recursive types are also discussed. 1…
Cited by 3 (0 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB