De Bruijn notation as a nested datatype (1999)
by
Richard S. Bird
,
Ross Paterson
,
Sir Arthur
,
Conan Doyle
| Venue: | Journal of Functional Programming |
| Citations: | 62 - 2 self |
BibTeX
@ARTICLE{Bird99debruijn,
author = {Richard S. Bird and Ross Paterson and Sir Arthur and Conan Doyle},
title = {De Bruijn notation as a nested datatype},
journal = {Journal of Functional Programming},
year = {1999}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
“I have no data yet. It is a capital mistake to theorise before one has data.”
