[ACM Press the 29th ACM SIGPLAN-SIGACT symposium - Portland, Oregon (2002.01.16-2002.01.18)] Proceedings of the 29th ACM SIGPLAN-SIGACT symposium on Principles of programming languages - POPL '02 - The first-order theory of subtyping constraints
Su, Zhendong, Aiken, Alexander, Niehren, Joachim, Priesnitz, Tim, Treinen, RalfYear:
2002
Language:
english
DOI:
10.1145/503272.503292
File:
PDF, 478 KB
english, 2002