Media type: E-Article Title: Lecture Notes in Computer Science: Type system for specializing polymorphism Contributor: Ohori, Atsushi Published: Springer Berlin Heidelberg, 1997 Published in: Lecture Notes in Computer Science (1997), Seite 107-137 Language: Not determined DOI: 10.1007/bfb0014549 ISBN: 9783540633884; 9783540695301 ISSN: 0302-9743; 1611-3349 Origination: Footnote: