학술논문
Precision in practice: A type-preserving Java compiler
Document Type
Article
Author
Source
(Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 2003, 2622:106-120)
Subject
Language
English
ISSN
16113349
03029743
03029743