De Bruijn notation as a nested datatype

Journal of Functional Programming

Volumn 9, Issue 1, 1999, Pages 77-91

  Bird, Richard S ^a   Paterson, Ross ^b  

^a UNIVERSITY OF OXFORD   (United Kingdom)

^b CITY UNIVERSITY   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0033423865     PISSN: 09567968     EISSN: None     Source Type: Journal    
DOI: 10.1017/S0956796899003366     Document Type: Article

References (14)

1. Barr, M. and Wells, C. (1984) Toposes, triples and theories. Grundlehren der Mathematischen Wissenschaften, no. 278. Springer-Verlag.
2. Bird, R. and de Moor, O. (1997) The Algebra of Programming. Prentice Hall.
3. Bird, R. (1998) Introduction to Functional Programming using Haskell. Prentice Hall.
4. Bird, R. and Paterson, R. (1998) Generalised folds for nested datatypes. Submitted.
5. Bird, R. S. and Meertens, L. (1998) Nested datatypes. Mathematics of Program Construction: Lecture Notes in Computer Science 1422, pp. 52-67. Springer-Verlag.
6. 4 report on the algorithmic language Scheme. ACM Lisp pointers, IV(July-September).
7. de Bruijn, N. G. (1972) Lambda calculus notation with nameless dummies. Indagationes Mathematicae, 34, 381-392.
8. Jones, M. (1998) A technical summary of the new features in Hugs 1.3c. Unpublished.
9. McCracken, N. J. (1984) The typechecking of programs with implicit type structure. Semantics of Data Types: Lecture Notes in Computer Science 173, pp. 301-315. Springer-Verlag.
10. Paterson, R. A. (1991) Non-deterministic lambda-calculus: A core for integrated languages. Declarative programming. Sassbachwalden. Springer-Verlag.
11. Paulson, L. C. (1996) ML for the Working Programmer (2nd edn). Cambridge University Press.
12. Peyton Jones, S. et al. (1998) The Glasgow Haskell Compiler. Department of Computer Science, University of Glasgow.
13. Taha, W. and Sheard, T. (1997) Multi-stage programming with explicit annotations. ACM Symposium on Partial Evaluation and Semantics-based Program Manipulation, pp. 203-217.
14. Wadler, P. (1989) Theorems for free! 4th Conference on Functional Programming Languages and Computer Architecture, pp. 347-359. IFIP.