DaftarIsitemplate |
Call Number |
SEM-198 |
Title |
Formally optimal boxing,Hal 213-226 |
Author |
Fritz Henglein; Jesper Jorgensen; |
Publisher |
Proceedings 21st ACM SIGPLAN-SIGACT Symposium on principles of programming languages-portland,Oregon,January 17-21,1994 |
Subject |
Representation analysis, polymorphism, type inference |
Location |