|
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
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
H. Abelson , R. K. Dybvig , C. T. Haynes , G. J. Rozas , N. I. Adams, IV , D. P. Friedman , E. Kohlbecker , G. L. Steele, Jr. , D. H. Bartley , R. Halstead , D. Oxley , G. J. Sussman , G. Brooks , C. Hanson , K. M. Pitman , M. Wand , William Clinger , Jonathan Rees, Revised report on the algorithmic language scheme, ACM SIGPLAN Lisp Pointers, v.IV n.3, p.1-55, July, 1991
|
|
|
|
|
|
|
|
|
|
|
|
|
|