Programming Languages and Systems

DOI10.1007/11575467MaRDI QIDQ5493382zbMATH OpenFDO

Authors Atsushi Igarashi, Chieri Saito, Mirko Viroli

Publication date 20 October 2006

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Lightweight family polymorphism
• scientific article; zbMATH DE number 1728245
• scientific article; zbMATH DE number 3874579
• HMF: simple type inference for first-class polymorphism
• Publication:4490755

Cited in

(6)

• Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages
• Lightweight family polymorphism
• Applicative intersection types
• The DL-Lite Family and Relations
• scientific article; zbMATH DE number 1728245 (Why is no real title available?)
• Semantic types and approximation for Featherweight Java

Describes a project that uses

Uses Software

• Featherweight Java

This page was built for publication: Programming Languages and Systems

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