ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (2003 New Orleans, La.)