Contact: Virginia Gold[removed]removed]

First Page		Document Content
Date: 2014-04-16 09:02:18 Association for Computing Machinery Paris Kanellakis Award ACM SIGACT Charles E. Leiserson Paris Kanellakis National Institute for Research in Computer Science and Control Computer scientist Gérard Huet Year of birth missing Computer science Theoretical computer science Computing		Contact: Virginia Gold[removed]removed] Add to Reading List Source URL: www.acm.org Download Document from Source Website File Size: 72,77 KB Share Document on Facebook

	Filiation scientique Gérard Huet November • DocID: 18dmJ - View Document
	Contact: Virginia Gold[removed]removed] DocID: CS6S - View Document
	Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014 DocID: a9ug - View Document
	Contact: Virginia Gold[removed]removed] DocID: 8y2x - View Document