Safe instantiation in Generic Java

DOI10.1016/J.SCICO.2005.07.003zbMath1102.68422OpenAlexW1977401586MaRDI QIDQ2509339

Robert Cartwright, Eric E. Allen

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

genericstype systemstype-checkingGeneric Javamixins

Mathematics Subject Classification ID

Theory of programming languages (68N15)

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