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)

Full work available at URL https://doi.org/10.1007/11575467

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)

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

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)