Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation
On-Campus Access Only (IP based access)