Tom Hirschowitz Proceedings Types for Proofs and Programs, Revised Selected Papers TYPES http://dx.doi.org/10.4204/EPTCS.53 2009 EPTCS 53 db/series/eptcs/eptcs53.html