LIBRARY Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers 2007 · ENGLISH · PDF View details →
LIBRARY Generic Programming: IFIP TC2 / WG2.1 Working Conference Programming July 11–12, 2002, Dagstuhl, Germany 2003 · ENGLISH · PDF View details →
LIBRARY Types for Proofs and Programs: International Workshop, TYPES’ 98 Kloster Irsee, Germany, March 27–31, 1998 Selected Papers 1999 · ENGLISH · PDF View details →
LIBRARY Types for Proofs and Programs: International Workshop, TYPES 2006, Nottingham, UK, April 18-21, 2006, Revised Selected Papers 2007 · ENGLISH · PDF View details →