Zaslat SMS: Types for proofs and programs : international conference, TYPES 2008, Torino, Italy, March 26-29, 2008 : revised selected papers / Stefano Berardi, Ferruccio Damiani, Ugo de' Liguoro (eds.).