Back to Results
First PageMeta Content
Computing / Functional languages / Automated theorem proving / Programming paradigms / Logic in computer science / Agda / Dependent type / Type system / Coq / Software engineering / Programming language theory / Type theory


Thesis for the degree of Doctor of Philosophy Towards a practical programming
Add to Reading List

Document Date: 2009-06-08 03:57:01

Open Document

File Size: 902,41 KB

Share Result on Facebook

Country

Sweden / /

Facility

University Chalmers University of Technology / /

IndustryTerm

type checking algorithm / /

Organization

Logic Department of Computer Science and Engineering / Department of Computer Science / Ulf Norell Department of Computer Science and Engineering / Chalmers University of Technology / 33D Department of Computer Science and Engineering Research / /

Person

Conor McBride / Andreas Abel / Peter Dybjer / Nils Anders Danielsson / Ulf Norell / Thierry Coquand / Catarina Coquand / /

/

Position

candidate for programming / supervisor / /

Technology

97 97 97 98 3.4 3.5 3.6 3.7 3.8 The type checking algorithm / functional programming / type checking algorithm / 3.2 The algorithm / 2.1 Coverage algorithm / /

SocialTag