[ACM Press the 20th ACM SIGPLAN-SIGACT symposium - Charleston, South Carolina, United States (1993..-..)] Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '93 - Efficient recursive subtyping
Kozen, Dexter, Palsberg, Jens, Schwartzbach, Michael I.Year:
1993
Language:
english
DOI:
10.1145/158511.158700
File:
PDF, 641 KB
english, 1993