Typed closure conversion for recursively-defined functions (extended abstract)

Electronic Notes in Theoretical Computer Science

Volumn 10, Issue , 1998, Pages 230-241

  Morrisett, Greg ^a   Harper, Robert ^b  

^a Cornell University ^*  (United States)

^b CARNEGIE MELLON UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; DATA STRUCTURES; MATHEMATICAL TRANSFORMATIONS; OPTIMIZATION; RECURSIVE FUNCTIONS; SEMANTICS;

COMPILER TRANSFORMATIONS; FREE VARIABLES; SELF-REFERENTIAL DATA STRUCTURES; TYPE-PRESERVING TRANSLATIONS;

PROGRAM COMPILERS;

EID: 19144363436     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(05)80702-9     Document Type: Conference Paper

References (9)

1. Appel A.W. Compiling with Continuations. 1992;Cambridge University Press
2. Appel A.W., Jim T. Continuation-passing, closure-passing style. In Sixteenth ACM Symposium on Principles of Programming Languages. January 1989;293-302. Austin, TX
3. Appel A.W., MacQueen D.B. Standard ML of New Jersey. Maluszynski J., Wirsing M. Third Int'l Symp. on Prog. Lang. Implementation and Logic Programming. August 1991;1-13 Springer-Verlag, New York
4. Birkedal L., Harper R. Relational interpretations of recursive types in an operational setting (summary). In Theoretical Aspects of Computer Science. September 1997;Sendai, Japan. (To appear.)
5. Mason I.A., Smith S.F., Talcott C.L. From operational semantics to domain theory. Information and Computation. 128:(1):1996;26-47
6. Minamide Y., Morrisett G., Harper R. Typed closure conversion. In Twenty-Third ACM Symposium on Principles of Programming Languages. January 1996;271-283. St. Petersburg, FL
7. Mitchell J.C., Plotkin G. Abstract types have existential type. ACM Transactions on Programming Languages and Systems. 10:(3):1988;470-502
8. Pierce B.C., Turner D.N. Object-oriented programming without recursive types. In Twentieth ACM Symposium on Principles of Programming Languages, Charleston, SC. Jan. 1993
9. Pitts A.M. Relational properties of domains. Information and Computation. 127:(2):June 1996;66-90