Back to Results
First PageMeta Content
Theoretical computer science / Logic in computer science / Proof theory / Data types / Dependently typed programming / Natural deduction / Curry–Howard correspondence / Linear logic / Subtype polymorphism / Logic / Mathematics / Type theory


The Logical Basis of Evaluation Order and Pattern-Matching Noam Zeilberger
Add to Reading List

Document Date: 2009-10-21 18:53:38

Open Document

File Size: 1,31 MB

Share 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