Gérard Huet

#	Item
1	Filiation scientique Gérard Huet November • Add to Reading List Source URL: pauillac.inria.fr Language: French - Date: 2009-11-27 17:53:50
2	Contact: Virginia Gold[removed]removed] Add to Reading List Source URL: www.acm.org Language: English - 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
3	Coq — Recent History SIGPLAN Programming Language Software Award POPL 2014 — San Diego, USA January 23rd 2014 Add to Reading List Source URL: mattam.org Language: English - Date: 2014-01-23 18:22:07 Coq Herbelin Coenzyme Q10 Gérard Huet SIGPLAN Type class Chemistry Declarative programming Software engineering
4	Contact: Virginia Gold[removed]removed] Add to Reading List Source URL: awards.acm.org Language: English - Date: 2014-04-15 20:47:13 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