Pengarang |
Fritz Henglein; Jesper Jorgensen; |
Judul Artikel |
Formally optimal boxing,Hal 213-226 |
Nama Prosiding |
Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
Bahasa |
Eng |
Kata Kunci |
Representation analysis, polymorphism, type inference |
Tahun |
1994 |
No. Panggil |
SEM-198 |