de Bruijn Notation as a Nested Datatype
Richard S. Bird and Ross Paterson
Details
| Journal |
Journal of Functional Programming |
| Number |
1 |
| Pages |
77–91 |
| Volume |
9 |
| Year |
1999 |
Links
DOI (10.1017/S0956796899003366)
Related pages
|
People |
|
|
Activities |