Books by ACM SIGPLAN International Workshop on Types in Languages Design and Implementation (2007 b Nice, France) on BookTides.