TPHOL   2009 International Workshop on the HOL Theorem Proving System and its Applications
Wall of Fame | Most Viewed TPHOL-2009 Paper
14 years 1 months ago
A Brief Overview of Agda - A Functional Language with Dependent Types
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
Ana Bove, Peter Dybjer, Ulf Norell
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source335
2Download preprint from source305
3Download preprint from source290
4Download preprint from source289
5Download preprint from source287
6Download preprint from source282
7Download preprint from source282
8Download preprint from source270
9Download preprint from source264
10Download preprint from source259
11Download preprint from source258
12Download preprint from source257
13Download preprint from source254
14Download preprint from source250
15Download preprint from source247
16Download preprint from source244
17Download preprint from source240
18Download preprint from source238
19Download preprint from source236
20Download preprint from source235
21Download preprint from source231
22Download preprint from source229