[ACM Press the 12th ACM SIGACT-SIGPLAN symposium - New Orleans, Louisiana, United States (1985.01.14-1985.01.16)] Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '85 - Abstract types have existential types
Mitchell, John C., Plotkin, Gordon D.Year:
1985
Language:
english
DOI:
10.1145/318593.318606
File:
PDF, 1.24 MB
english, 1985