![Type theory / Dependently typed programming / Functional languages / Data types / Literate programming / Agda / ALF / Dependent type / Proof assistant / Programming language theory / Software engineering / Computing Type theory / Dependently typed programming / Functional languages / Data types / Literate programming / Agda / ALF / Dependent type / Proof assistant / Programming language theory / Software engineering / Computing](https://www.pdfsearch.io/img/d5947bb94011543c5662f40c136cba2f.jpg)
| Document Date: 2010-06-22 17:03:15 Open Document File Size: 94,61 KBShare Result on Facebook
Company Oxford University Press / / Country Netherlands / / / Facility Chalmers University of Technology / ulfn}@chalmers.se Chalmers University of Technology / / IndustryTerm e-pig / earlier systems / / Organization LerNet ALFA Summer School / Summer School / Oxford University / Chalmers University of Technology / / Person Nat / Agda / Peter Dybjer / Gonthier / Ulf Norell / Dependent Types Ana Bove / / Position proof assistant / language and proof assistant / programmer / / ProgrammingLanguage Haskell / / PublishedMedium Formal Aspects of Computing / Philosophy of Science / / Technology functional programming / / URL http /
SocialTag |