On variance-based subtyping for parametric types

DOI10.1007/3-540-47993-7_19MaRDI QIDQ3046755zbMATH OpenFDO

Authors Atsushi Igarashi, Mirko Viroli

Publication date 12 August 2004

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2374/23740441.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Computing methodologies and applications (68U99)

Recommendations

• An Interval-Based Inference of Variant Parametric Types
• Foundations for virtual types
• Type inference for variant object types
• Set-theoretic foundation of parametric polymorphism and subtyping
• Integration of parametric and ``ad hoc second order polymorphism in a calculus with subtyping

Cited in

(9)

• Foundations for virtual types
• A graph-based generic type system for object-oriented programs
• Matching MyType to subtyping
• The essence of dependent object types
• An Interval-Based Inference of Variant Parametric Types
• Existential Quantification for Variant Ownership
• Refinement of generic classes as semantics of correct polymorphic reuse
• A Type-Passing Approach for the Implementation of Parametric Methods in Java
• A core calculus for correlation in orchestration languages

Describes a project that uses

Uses Software

• PolyTOIL
• Featherweight Java

This page was built for publication: On variance-based subtyping for parametric types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3046755)