On barron and strachey's cartesian product function: Possibly the world's first functional pearl

ACM SIGPLAN Notices

Volumn 42, Issue 9, 2007, Pages 41-45

  Danvy, Olivier ^a   Spivey, Michael ^b  

^a AARHUS UNIVERSITY   (Denmark)

^b UNIVERSITY OF OXFORD   (United Kingdom)

Author keywords

Cpl

Indexed keywords

CARTESIAN PRODUCTS; CPL; HIGHER ORDER; HIGHER-ORDER FUNCTIONS; POWER SET; PROGRAM TRANSFORMATIONS;

PHOTOLITHOGRAPHY;

EID: 67650085268     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: None     Document Type: Article

References (13)

1. David Barron. 1975. Christopher Strachey: a personal reminiscence. Computer Bulletin, 2(5):8-9.
2. David W. Barron and Christopher Strachey. 1966. Programming. In Leslie Fox, editor, Advances in Programming and NonNumerical Computation, pages 49-82. Pergammon Press.
3. Olivier Danvy and Lasse R. Nielsen. 2001. Defunctionalization at work. In Harald Søndergaard, editor, Proceedings of the Third International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming (PPDP'01), pages 162-174, Firenze, Italy. ACM Press. Extended version available as the research report BRICS RS-01-23.
4. Olivier Danvy and Ulrik P. Schultz. 2000. Lambda-dropping: Transforming recursive equations into programs with block structure. Theoretical Computer Science, 248(1-2):243-287. A preliminary version was presented at the 1997 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation (PEPM 1997).
5. Michael J. C. Gordon. 1973. An investigation of lit. Technical Report Memorandun MIP-R-101, School of Artificial Intelligence, University of Edinburgh.
6. Michael J. C. Gordon. 1979. On the power of list iteration. The Computer Journal, 22(4):376-379.
7. Mike Gordon. 2000. Christopher Strachey: recollections of his influence. Higher-Order and Symbolic Computation, 13(1/2): 65-67.
8. Patrick Greussay. 1978. Le système VLISP 16. Université Paris8-Vincennes et LITP.
9. David Hartley. 2000. Cambridge and CPL in the 1960s. HigherOrder and Symbolic Computation, 13(1/2):69-70.
10. John Hughes. 1986. A novel representation of lists and its application to the function "reverse". Information Processing Letters, 22(3):141-144.
11. Thomas Johnsson. 1987. Attribute grammars as a functional programming paradigm. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, number 274 in Lecture Notes in Computer Science, pages 154-173, Portland, Oregon. Springer-Verlag.
12. Martin Richards. 2000. Christopher strachey and the Cambridge CPL compiler. Higher-Order and Symbolic Computation, 13 (1/2):85-88.
13. Christopher Strachey. 1961. Handwritten notes. Archive of working papers and correspondence. Bodleian Library, Oxford, Catalogue no. MS. Eng. misc. b.267.