VSL 2014: VIENNA SUMMER OF LOGIC 2014
Cormac Flanagan
Organization: U. C. Santa Cruz
Web site: http://www.cse.ucsc.edu/~cormac
Pages in this Program
HOPA Program Committee