de Bruijn notation as a nested datatype

BIRD, RICHARD S.; PATERSON, ROSS

doi:10.1017/S0956796899003366

Record: found
Abstract: not found
Article: not found

de Bruijn notation as a nested datatype

Author(s): RICHARD S. BIRD , ROSS PATERSON

Publication date (Print): January 1999

Journal: Journal of Functional Programming

Publisher: Cambridge University Press (CUP)

Read this article at

ScienceOpenPublisher

Bookmark

There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

Related collections

Author and article information

Journal

Title: Journal of Functional Programming

Abbreviated Title: J. Funct. Prog.

Publisher: Cambridge University Press (CUP)

ISSN (Print): 09567968

Publication date (Print): January 1999

Volume: 9

Issue: 1

Pages: 77-91

Article

DOI: 10.1017/S0956796899003366

SO-VID: d105fb70-b649-4b82-b14e-aca7e23f1e0b

History

Data availability:

de Bruijn notation as a nested datatype

Read this article at

Related collections

ScienceOpen Research

Author and article information

Journal

Article

History

Comments

Comment on this article

Similar content 1,547

Cited by 18