Proceedings of TLDI 05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005

J. Gregory Morrisett, Manuel Fähndrich, editors, Proceedings of TLDI 05: 2005 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, Long Beach, CA, USA, January 10, 2005. ACM, 2005.

Conference: tldi2005

Abstract

Abstract is missing.

Table of Contents