Proceedings of the Tldi '03: 2003 ACM Sigplan International Workshop on Types in Languages Design and Implementation: Papers Presented at the Works
by  ACM Sigplan Special Interest Group on Pr
Hardcover
details (Canada).
ISBN:  978-1-58113-649-4
ISBN-10: 1-58113-649-8
Association for Computing Machinery (ACM) · 2003