DMCA
A tutorial implementation of a dependently typed lambda calculus (2001)
Cached
Download Links
by
Andres Löh
,
Conor McBride
,
Wouter Swierstra
| Citations: | 15 - 0 self |
BibTeX
@MISC{Löh01atutorial,
author = {Andres Löh and Conor McBride and Wouter Swierstra},
title = {A tutorial implementation of a dependently typed lambda calculus},
year = {2001}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
