Java light is Type-Safe - Definitely (1998)

by Tobias Nipkow , David von Oheimb
Venue:In Proc. 25th ACM Symp. Principles of Programming Languages
Citations:40 - 0 self

Document Versions

Java light is Type-Safe - Definitely –Tobias Nipkow, David von Oheimb — 1998 — In Proc. 25th ACM Symp. Principles of Programming Languages