Journal of Functional Programming (1999), 9 : 77-91 Cambridge University Press
doi:10.1017/S0956796899003366 (About doi)
Copy and paste this link:
http://journals.cambridge.org/action/displayAbstract?aid=44239
Copy and paste this citation
RICHARD S. BIRD
and ROSS PATERSON
(1999).
de Bruijn notation as a nested datatype. Journal of Functional Programming,
9
,
pp 77-91
doi:10.1017/S0956796899003366
doi:10.1017/S0956796899003366
CiteULike
Del.icio.us
Connotea.org
Bibsonomy.org
Furl.net
Digg.com
Reddit.com
Facebook
