Title: Proceedings of the Tldi '05: 2005 ACM Sigplan International Workshop on Types in Languages Design and Implementation
Subjects: Programming languages (Electronic computers), Congresses