Programming Languages and Systems
From MaRDI portal
Publication:5493382
DOI10.1007/11575467zbMath1159.68371MaRDI QIDQ5493382
Atsushi Igarashi, Mirko Viroli, Chieri Saito
Publication date: 20 October 2006
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (3)
Semantic types and approximation for Featherweight Java ⋮ Featherweight Jigsaw. Replacing inheritance by composition in Java-like languages ⋮ Applicative intersection types
Uses Software
This page was built for publication: Programming Languages and Systems
