Back to Results
First PageMeta Content
Type theory / Dependently typed programming / Functional languages / Data types / Literate programming / Agda / ALF / Dependent type / Proof assistant / Programming language theory / Software engineering / Computing


A Brief Overview of Agda – A Functional Language with Dependent Types Ana Bove, Peter Dybjer, and Ulf Norell
Add to Reading List

Document Date: 2010-06-22 17:03:15

Open Document

File Size: 94,61 KB

Share 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