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