[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 - Algebraic reasoning and completeness in typed languages
Riecke, Jon G., Subrahmanyam, RameshYear:
1993
Language:
english
DOI:
10.1145/158511.158627
File:
PDF, 960 KB
english, 1993