Amanote Research
Register
Sign In
Discover open access scientific publications
Search, annotate, share and cite publications
Publications by ROSS PATERSON
Proofs for Free
Journal of Functional Programming
Software
De Bruijn Notation as a Nested Datatype
Journal of Functional Programming
Software