Proceedings of the TLDI '05 : 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation : papers presented at the workshop, Long Beach, California, January 10th, 2005
ACM SIGPLAN International Workshop on Types in Languages Design and Implementation
Bok Engelsk 2005