Title: Proceedings of the Tldi '03: 2003 ACM Sigplan International Workshop on Types in Languages Design and Implementation