Matching MyType to subtyping

DOI10.1016/j.scico.2012.12.010zbMath1284.68107OpenAlexW1980630602MaRDI QIDQ2442957

Chieri Saito, Atsushi Igarashi

Publication date: 2 April 2014

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2012.12.010

zbMATH Keywords

subtypingdynamic dispatchbinary methodsexact typesMyType

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• BETA
• Featherweight Java
• Tribe

Cites Work

• A syntactic approach to type soundness
• Lightweight family polymorphism
• Existential Quantification for Variant Ownership
• A paradigmatic object-oriented programming language: Design, static typing and semantics
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Matching MyType to subtyping