ACM Home Page
Please provide us with feedback. Feedback
The mystery of the tower revealed: a non-reflective description of the reflective tower
Full text PdfPdf (751 KB)
Source Conference on LISP and Functional Programming archive
Proceedings of the 1986 ACM conference on LISP and functional programming table of contents
Cambridge, Massachusetts, United States
Pages: 298 - 307  
Year of Publication: 1986
ISBN:0-89791-200-4
Authors
Mitchell Wand  Northeastern University
Daniel P. Friedman  Indiana University
Sponsor
SIGPLAN: ACM Special Interest Group on Programming Languages
Publisher
ACM  New York, NY, USA
Bibliometrics
Downloads (6 Weeks): 7,   Downloads (12 Months): 26,   Citation Count: 15
Additional Information:

references   cited by   collaborative colleagues  

Tools and Actions: Request Permissions Request Permissions    Review this Article  
DOI Bookmark: Use this link to bookmark this Article: http://doi.acm.org/10.1145/319838.319871
What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

 
Barendregt 81
Barendregt, H.P. The Lambda Calculus: Its Syntaz and Semantics, North-Holland, Amsterdam, 1981.
 
Felleisen et al. 86
Fe!leJzen, M., Friedman, D.P., Kohlbecker, E., and Dubs, B. "Reasoning with Continuations~ Proc. First Ann. IEEE Syrup. on Logic in Computer Science (Cambridge, MA, June, 1986).
Friedman & Wand 84
 
Kohlbecker 86
Kohlbecker, E. Syntactic E~ensions in a LezicaUll Scopeal Language, Ph.D. dissertation, Indiana University, to appear.
 
Smith 82
Smith, B.C., Reflection and Semantics in a Procedural Language, MIT-LCS-TR-272, Mass. Inst. of Tech.. Cambridge, MA, Janu .a~r, 1982.
Smith 84
Smith & des Rivières 84

CITED BY  15
Collaborative Colleagues:
Mitchell Wand: colleagues
Daniel P. Friedman: colleagues