First-class nonstandard interpretations by opening closures

ACM SIGPLAN Notices

Volumn 42, Issue 1, 2007, Pages 71-76

  Siskind, Jeffrey Mark ^a   Pearlmutter, Barak A ^b  

^a PURDUE UNIVERSITY   (United States)

^b NATIONAL UNIVERSITY OF IRELAND   (Ireland)

Author keywords

Lambda lifting; Referential transparency

Indexed keywords

CODES (STANDARDS); ERROR ANALYSIS; MATHEMATICAL TRANSFORMATIONS; SYNTACTICS;

LAMBDA LIFTING; MAP-CLOSURE; REFERENTIAL TRANSPARENCY;

COMPUTER PROGRAMMING;

EID: 33846522956     PISSN: 15232867     EISSN: None     Source Type: Journal    
DOI: 10.1145/1190215.1190230     Document Type: Conference Paper

References (13)

1. W. Clinger, D. P. Friedman, and M. Wand, "A scheme for a higher-level semantic algebra," in Algebraic Methods in Semantics, J. Reynolds and M. Nivat, Eds. Cambridge University Press, 1985, pp. 237-250.
2. R. E. Wengert, "A simple automatic derivative evaluation program," Comm. of the ACM, vol. 7, no. 8, pp. 463-4, 1964.
3. W. K. Clifford, "Preliminary sketch of bi-quaternions," Proceedings of the London Mathematical Society, vol. 4, pp. 381-395, 1873.
4. J. C. Reynolds, "Definitional interpreters for higher-order programming languages," in Proceedings of the 25th ACM National Conference, 1972,
5. reprinted in Higher Order and Symbolic Computing, 11 (4): 363-397, 1998.
6. G. L. Steele, Jr. and G. J. Sussman, "Lambda, the ultimate imperative," MIT Artificial Intelligence Laboratory, A. I. Memo 353, Mar. 1976.
7. T. Johnsson, "Lambda lifting: Transforming programs to recursive equations," in Functional Programming Languages and Computer Architecture. Nancy, France: Springer-Verlag, Sept. 1985.
8. 4 Report on the Algorithmic Language SCHEME, Nov. 1991.
9. D. MacQueen, "Modules for Standard ML," in Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, Austin, TX, 1984, pp. 198-207.
10. G. Kiczales, J. Lamping, A. Menhdhekar, C. Maeda, C. Lopes, J.-M. Loingtier, and J. Irwin, "Aspect-oriented programming," in Proceedings of the European Conference on Object-Oriented Programming, 1997, pp. 220-242.
11. J. McCarthy, "A basis for a mathematical theory of computation," in Computer Programing and Formal Systems, P. Braffort and D. Hirschberg, Eds. Amsterdam: Elsevier North-Holland, 1963.
12. J. M. Siskind and D. A. McAllester, "SCREAMER: A portable efficient implementation of nondeterministic COMMON LISP," University of Pennsylvania Institute for Research in Cognitive Science, tech. report IRCS-93-03, 1993.
13. _, "Nondeterministic LISP as a substrate for constraint logic programming," in Proceedings of the Eleventh National Conference on Artificial Intelligence, July 1993, pp. 133-8.