| Document Date: 2009-10-21 18:53:38 Open Document File Size: 1,31 MBShare Result on Facebook
City Pittsburgh / Paris / / Country United States / / Facility Computer Science Carnegie Mellon University / / IndustryTerm historical tools / proof search / / Organization AT&T Foundation / U.S. government / School of Computer Science Carnegie Mellon University Pittsburgh / Thesis Committee / / Person Peter Lee / Frank Pfenning / Noam Zeilberger / Michael Chabon / Paul-André Mellies / Robert Harper Paul-André / / / Position author / co-chair / Harper / / ProgrammingLanguage Haskell / Lisp / ML / / ProvinceOrState Pennsylvania / /
SocialTag |