University of Oxford Department of Computer Science

de Bruijn Notation as a Nested Datatype

Richard S. Bird and Ross Paterson

Journal

Journal of Functional Programming

Number

1

Pages

77–91

Volume

9

Year

1999

Links

See Also

Richard Bird

Algebra of Programming

Back to Top