Family polymorphism

DOI10.1007/3-540-45337-7_17MaRDI QIDQ2779257zbMATH OpenFDO

Authors Erik Ernst

Publication date 15 April 2002

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/2072/20720303

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

• Lightweight family polymorphism
• Programming Languages and Systems
• scientific article; zbMATH DE number 1961884
• First-Class Object Sets
• scientific article; zbMATH DE number 3864476

Cited in

(16)

• Matching MyType to subtyping
• Abstraction over implementation structure with symmetrically encapsulated multimethods
• Classboxes: controlling visibility of class extensions
• The essence of dependent object types
• Lightweight family polymorphism
• Polymorphism-Aware Common Bus in an Object-Oriented ASIP
• An Overview of CaesarJ
• First-Class Object Sets
• Semantic types and approximation for Featherweight Java
• scientific article; zbMATH DE number 1961884 (Why is no real title available?)
• scientific article; zbMATH DE number 874509 (Why is no real title available?)
• Taming the merge operator
• A language for generic programming in the large
• Programming Languages and Systems
• A calculus with recursive types, record concatenation and subtyping
• Object-oriented description of graph data structures

This page was built for publication: Family polymorphism

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