Programming Languages and Systems

DOI10.1007/11575467zbMATH Open1159.68371MaRDI QIDQ5493382FDOQ5493382

Authors: Atsushi Igarashi, Chieri Saito, Mirko Viroli 

Publication date: 20 October 2006

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

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

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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
• Title not available (Why is that?)
• Semantic types and approximation for Featherweight Java

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)