De Bruijn notation as a nested datatype (1999)

Cached

Download Links

by Richard S. Bird , Ross Paterson , Sir Arthur , Conan Doyle
Venue:Journal of Functional Programming
Citations:68 - 2 self