Safe instantiation in Generic Java

DOI10.1016/J.SCICO.2005.07.003MaRDI QIDQ2509339zbMATH OpenOpenAlexFDO

Authors Eric E. Allen, Robert Cartwright

Publication date 19 October 2006

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

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

zbMATH Keywords

Generic Javagenericsmixinstype systemstype-checking

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Programming Languages and Systems
• Improving type error messages for generic Java
• Programming Languages and Systems
• scientific article; zbMATH DE number 2100551
• Type Safety for FJ and FGJ

Cited in

(4)

• Improving type error messages for generic Java
• Type Safety for FJ and FGJ
• scientific article; zbMATH DE number 2100551 (Why is no real title available?)
• Programming Languages and Systems

This page was built for publication: Safe instantiation in Generic Java

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