ORBIT: an optimizing compiler for scheme

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

ORBIT: an optimizing compiler for scheme

Full text

Pdf (1.38 MB)

Source

Symposium on Compiler Construction archive
Proceedings of the 1986 SIGPLAN symposium on Compiler construction table of contents

Palo Alto, California, United States

Pages: 219 - 233

Year of Publication: 1986

ISBN:0-89791-197-0

Also published in ...

Authors

Norman Adams	Tektronix Inc., Beaverton, OR
David Kranz	Yale Univ., New Haven, CT
Richard Kelsey	Yale Univ., New Haven, CT
Jonathan Rees	Massachusetts Institute of Technology, Cambridge, MA
Paul Hudak	Yale Univ., New Haven, CT
James Philbin	Yale Univ., New Haven, CT

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 5, Downloads (12 Months): 60, Citation Count: 115

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/12276.13333 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.

	2	Rodney A. Brooks , Richard P. Gabriel , Guy L. Steele, Jr., An optimizing compiler for lexically scoped LISP, Proceedings of the 1982 SIGPLAN symposium on Compiler construction, p.261-275, June 23-25, 1982, Boston, Massachusetts, United States
	3	Clinger, W., et al. The Revised Revised Report on Scheme, or An UnCommon Lisp. AI Memo $4~, Massachusetts Institute of Technology, Aug., 1985.
	4	John R. Ellis, Bulldog: a compiler for vliw architectures (parallel computing, reduced-instruction-set, trace scheduling, scientific), 1985
	5	Fisher, J.A. Very Long Word Architectures. YALEU/DCS/RR-253, Yale University, Dec., 1982.
	6	Daniel P. Friedman , Christopher T. Haynes, Constraining control, Proceedings of the 12th ACM SIGACT-SIGPLAN symposium on Principles of programming languages, p.245-254, January 14-16, 1985, New Orleans, Louisiana, United States [doi>10.1145/318593.318654]
	7	Richard P. Gabriel, Performance and evaluation of LISP systems, Massachusetts Institute of Technology, Cambridge, MA, 1985
	8	Christopher T. Haynes , Daniel P. Friedman , Mitchell Wand, Continuations and coroutines, Proceedings of the 1984 ACM Symposium on LISP and functional programming, p.293-298, August 06-08, 1984, Austin, Texas, United States [doi>10.1145/800055.802046]
	9	Michael L. Powell, A portable optimizing compiler for Modula-2, ACM SIGPLAN Notices, v.19 n.6, p.310-319, June 1984
	10	Jonathan A. Rees , Norman I. Adams IV, T: a dialect of Lisp or LAMBDA: The ultimate software tool, Proceedings of the 1982 ACM symposium on LISP and functional programming, p.114-122, August 15-18, 1982, Pittsburgh, Pennsylvania, United States [doi>10.1145/800068.802142]
	11	Rees, J.A., Adams, N.I. and Meehan, J.R. The T Manual. 4th edition, Yale University, Jan., 1984.
	12	Rozas, W. (personal communication).
	13	Steele, G.L. Jr. and Sussman, G.J. The Revised Report on Scheme. AI Memo 452, MIT, Jan., 1978.
	14	Guy L. Steele, Jr., Rabbit: A Compiler for Scheme, Massachusetts Institute of Technology, Cambridge, MA, 1978
	15	Thomas G. Szymanski, Assembling code for machines with span-dependent instructions, Communications of the ACM, v.21 n.4, p.300-308, April 1978 [doi>10.1145/359460.359474]
	16	William Allan Wulf , Richard K. Johnsson , Charles B. Weinstock , Steven O. Hobbs , Charles M. Geschke, The Design of an Optimizing Compiler, Elsevier Science Inc., New York, NY, 1975

CITED BY 115

	Lal George , Andrew W. Appel, Iterated register coalescing, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.208-218, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Amer Diwan , David Tarditi , Eliot Moss, Memory subsystem performance of programs using copying garbage collection, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.1-14, January 16-19, 1994, Portland, Oregon, United States
	Mitchell Wand , Gregory T. Sullivan, Denotational semantics using an operationally-based term model, Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.386-399, January 15-17, 1997, Paris, France
	Pascal Fradet , Daniel Le Métayer, Compilation of functional languages by program transformation, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.1, p.21-51, Jan. 1991
	Rajiv Mirani , Paul Hudak, First-class schedules and virtual maps, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.78-85, June 26-28, 1995, La Jolla, California, United States
	Adrienne Bloss, Update analysis and the efficient implementation of functional aggregates, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.26-38, September 11-13, 1989, Imperial College, London, United Kingdom
	E. Mohr , D. A. Kranz , R. H. Halstead, Jr., Lazy Task Creation: A Technique for Increasing the Granularity of Parallel Programs, IEEE Transactions on Parallel and Distributed Systems, v.2 n.3, p.264-280, July 1991
	Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, ACM SIGPLAN Notices, v.28 n.6, p.237-247, June 1993
	Henry Cejtin , Suresh Jagannathan , Richard Kelsey, Higher-order distributed objects, ACM Transactions on Programming Languages and Systems (TOPLAS), v.17 n.5, p.704-739, Sept. 1995
	Fritz Henglein, Global tagging optimization by type inference, ACM SIGPLAN Lisp Pointers, v.V n.1, p.205-215, Jan. 1992
	C. Chambers , D. Ungar, Customization: optimizing compiler technology for SELF, a dynamically-typed object-oriented programming language, ACM SIGPLAN Notices, v.24 n.7, p.146-160, July 1989
	Charles Consel, A tour of Schism: a partial evaluation system for higher-order applicative languages, Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.145-154, June 14-16, 1993, Copenhagen, Denmark
	Mark B. Reinhold, Cache performance of garbage-collected programs, ACM SIGPLAN Notices, v.29 n.6, p.206-217, June 1994
	Urban Boquist, Interprocedural register allocation for lazy functional languages, Proceedings of the seventh international conference on Functional programming languages and computer architecture, p.270-281, June 26-28, 1995, La Jolla, California, United States
	Amer Diwan , David Tarditi , Eliot Moss, Memory system performance of programs with intensive heap allocation, ACM Transactions on Computer Systems (TOCS), v.13 n.3, p.244-273, Aug. 1995
	Lal George , Andrew W. Appel, Iterated register coalescing, ACM Transactions on Programming Languages and Systems (TOPLAS), v.18 n.3, p.300-324, May 1996
	Andrew W. Appel , Amy P. Felty, A semantic model of types and machine instructions for proof-carrying code, Proceedings of the 27th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.243-253, January 19-21, 2000, Boston, MA, USA
	William D. Clinger , Lars Thomas Hansen, Lambda, the ultimate label or a simple optimizing compiler for Scheme, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.128-139, July-Sept. 1994
	John Peterson, Untagged data in tagged environments: choosing optimal representations at compile time, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.89-99, September 11-13, 1989, Imperial College, London, United Kingdom
	R. Hieb , R. Kent Dybvig , Carl Bruggeman, Representing control in the presence of first-class continuations, ACM SIGPLAN Notices, v.25 n.6, p.66-77, Jun. 1990
	Will Clinger , Anne Hartheimer , Eric Ost, Implementation strategies for continuations, Proceedings of the 1988 ACM conference on LISP and functional programming, p.124-131, July 25-27, 1988, Snowbird, Utah, United States
	Suresh Jagannathan , Jim Philbin, A customizable substrate for concurrent languages, ACM SIGPLAN Notices, v.27 n.7, p.55-81, July 1992
	David Tarditi , Peter Lee , Anurag Acharya, No assembly required: compiling standard ML to C, ACM Letters on Programming Languages and Systems (LOPLAS), v.1 n.2, p.161-177, June 1992
	CORPORATE Tech Correspondence, Technical correspondence, Communications of the ACM, v.30 n.11, p.980-985, Nov. 1987
	Greg Morrisett , David Walker , Karl Crary , Neal Glew, From system F to typed assembly language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.21 n.3, p.527-568, May 1999
	Steven R. Vegdahl , Uwe F. Pleban, The runtime environment for Scheme, a Scheme implementation on the 88000, ACM SIGARCH Computer Architecture News, v.17 n.2, p.172-182, April 1989
	Rémi Douence , Pascal Fradet, A systematic study of functional language implementations, ACM Transactions on Programming Languages and Systems (TOPLAS), v.20 n.2, p.344-387, March 1998
	D. Tarditi , G. Morrisett , P. Cheng , C. Stone , R. Harper , P. Lee, TIL: a type-directed optimizing compiler for ML, ACM SIGPLAN Notices, v.31 n.5, p.181-192, May 1996
	Robert A. MacLachlan, The Python compiler for CMU Common Lisp, ACM SIGPLAN Lisp Pointers, v.V n.1, p.235-246, Jan. 1992
	Olin Shivers , James W. Clark , Roland McGrath, Atomic heap transactions and fine-grain interrupts, ACM SIGPLAN Notices, v.34 n.9, p.48-59, Sept. 1999
	A. W. Appel , T. Jim, Continuation-passing, closure-passing style, Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.293-302, January 11-13, 1989, Austin, Texas, United States
	Manuel Serrano, Control flow analysis: a functional languages compilation paradigm, Proceedings of the 1995 ACM symposium on Applied computing, p.118-122, February 26-28, 1995, Nashville, Tennessee, United States
	Robert Harper , Mark Lillibridge, Explicit polymorphism and CPS conversion, Proceedings of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.206-219, March 1993, Charleston, South Carolina, United States
	David F. Bacon , Susan L. Graham , Oliver J. Sharp, Compiler transformations for high-performance computing, ACM Computing Surveys (CSUR), v.26 n.4, p.345-420, Dec. 1994
	William D. Clinger, Proper tail recursion and space efficiency, ACM SIGPLAN Notices, v.33 n.5, p.174-185, May 1998
	Marc Feeley , James S. Miller, A parallel virtual machine for efficient scheme compilation, Proceedings of the 1990 ACM conference on LISP and functional programming, p.119-130, June 27-29, 1990, Nice, France
	W. G. Morris, CCG: a prototype coagulating code generator, ACM SIGPLAN Notices, v.26 n.6, p.45-58, June 1991
	Amr Sabry , Philip Wadler, A reflection on call-by-value, ACM SIGPLAN Notices, v.31 n.6, p.13-24, June 15, 1996
	James D. Shuler , Henry R. Bauer, III, Look-ahead allocation in the presence of branches, Proceedings of the 1997 ACM symposium on Applied computing, p.504-508, April 1997, San Jose, California, United States
	Christian Queinnec, Locality, causality and continuations, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.91-102, July-Sept. 1994
	Zhong Shao , Andrew W. Appel, Space-efficient closure representations, ACM SIGPLAN Lisp Pointers, v.VII n.3, p.150-161, July-Sept. 1994
	Eric Mohr , David A. Kranz , Robert H. Halstead, Jr., Lazy task creation: a technique for increasing the granularity of parallel programs, Proceedings of the 1990 ACM conference on LISP and functional programming, p.185-197, June 27-29, 1990, Nice, France
	Andrew Berlin , Henry Wu, Scheme86: a system for interpreting scheme, Proceedings of the 1988 ACM conference on LISP and functional programming, p.116-123, July 25-27, 1988, Snowbird, Utah, United States
	Fritz Henglein , Jesper Jørgensen, Formally optimal boxing, Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.213-226, January 16-19, 1994, Portland, Oregon, United States
	Charles Consel , Olivier Danvy, Static and dynamic semantics processing, Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.14-24, January 21-23, 1991, Orlando, Florida, United States
	Norman Adams , Pavel Curtis , Mike Spreitzer, First-class data-type representations in SCHEMEXEROX, ACM SIGPLAN Notices, v.28 n.6, p.139-146, June 1993
	D. R. Chase, Safety consideration for storage allocation optimizations, ACM SIGPLAN Notices, v.23 n.7, p.1-10, July 1988
	D. A. Kranz , R. H. Halstead, Jr. , E. Mohr, Mul-T: a high-performance parallel Lisp, ACM SIGPLAN Notices, v.24 n.7, p.81-90, July 1989
	Saumya Debray, Abstract interpretation and low-level code optimization, Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, p.111-121, June 21-23, 1995, La Jolla, California, United States
	Amr Sabry , Philip Wadler, A reflection on call-by-value, ACM Transactions on Programming Languages and Systems (TOPLAS), v.19 n.6, p.916-941, Nov. 1997
	R. Kelsey , P. Hudak, Realistic compilation by program transformation (detailed summary), Proceedings of the 16th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.281-292, January 11-13, 1989, Austin, Texas, United States
	Joxan Jaffar , Peter J. Stuckey , Spiro Michaylov , Roland H. C. Yap, An abstract machine for CLP(R), ACM SIGPLAN Notices, v.27 n.7, p.128-139, July 1992
	B. Goldberg, Generational reference counting: a reduced-communication distributed storage reclamation scheme, ACM SIGPLAN Notices, v.24 n.7, p.313-321, July 1989
	Zhong Shao , Andrew W. Appel, Efficient and safe-for-space closure conversion, ACM Transactions on Programming Languages and Systems (TOPLAS), v.22 n.1, p.129-161, Jan. 2000
	Greg Morrisett , David Walker , Karl Crary , Neal Glew, From system F to typed assembly language, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.85-97, January 19-21, 1998, San Diego, California, United States
	Michael Sperber , Peter Thiemann, Two for the price of one: composing partial evaluation and compilation, ACM SIGPLAN Notices, v.32 n.5, p.215-225, May 1997
	Kenneth R. Traub, Compilation as partitioning: a new approach to compiling non-strict functional languages, Proceedings of the fourth international conference on Functional programming languages and computer architecture, p.75-88, September 11-13, 1989, Imperial College, London, United Kingdom
	Craig Chambers , David Ungar, Making pure object-oriented languages practical, ACM SIGPLAN Notices, v.26 n.11, p.1-15, Nov. 1991
	J. F. Giorgi , D. Le Métayer, Continuation-based parallel implementation of functional programming languages, Proceedings of the 1990 ACM conference on LISP and functional programming, p.209-217, June 27-29, 1990, Nice, France
	John Whaley, Partial method compilation using dynamic profile information, ACM SIGPLAN Notices, v.36 n.11, p.166-179, 11/01/2001
	Simon Peyton Jones , Will Partain , André Santos, Let-floating: moving bindings to give faster programs, ACM SIGPLAN Notices, v.31 n.6, p.1-12, June 15, 1996
	Marc Feeley, Polling efficiently on stock hardware, Proceedings of the conference on Functional programming languages and computer architecture, p.179-187, June 09-11, 1993, Copenhagen, Denmark
	Amr Sabry , Matthias Felleisen, Is continuation-passing useful for data flow analysis?, ACM SIGPLAN Notices, v.29 n.6, p.1-12, June 1994
	Guy L. Steele, Jr. , Richard P. Gabriel, The evolution of Lisp, ACM SIGPLAN Notices, v.28 n.3, p.231-270, March 1993
	L. Harrison, Parcel: project for the automatic restructuring and concurrent evaluation of LISP, Proceedings of the 2nd international conference on Supercomputing, p.527-538, June 1988, St. Malo, France
	John H. Reppy, CML: A higher concurrent language, ACM SIGPLAN Notices, v.26 n.6, p.293-305, June 1991
	Olin Shivers, The semantics of Scheme control-flow analysis, ACM SIGPLAN Notices, v.26 n.9, p.190-198, Sept. 1991
	Adrienne Bloss, Path analysis and the optimization of nonstrict functional languages, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.328-369, May 1994
	Lawrence A. Crowl , Thomas J. LeBlanc, Parallel programming with control abstraction, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.524-576, May 1994
	Allyn Dimock , Robert Muller , Franklyn Turbak , J. B. Wells, Strongly typed flow-directed representation transformations (extended abstract), ACM SIGPLAN Notices, v.32 n.8, p.11-24, Aug. 1997
	David V. Mason, A functional intermediate form for diverse source languages, Proceedings of the 1996 conference of the Centre for Advanced Studies on Collaborative research, p.27, November 12-14, 1996, Toronto, Ontario, Canada
	Paul Hudak, Exploring Parafunctional Programming: Separating the What from the How, IEEE Software, v.5 n.1, p.54-61, January 1988
	S. Danforth , P. Valduriez, A FAD for Data Intensive Applications, IEEE Transactions on Knowledge and Data Engineering, v.4 n.1, p.34-51, February 1992
	Torben Amtoft , Robert Muller, Inferring annotated types for inter-procedural register allocation with constructor flattening, ACM SIGPLAN Notices, v.38 n.3, March 2003
	Olivier Danvy , Lasse R. Nielsen, A first-order one-pass CPS transformation, Theoretical Computer Science, v.308 n.1-3, p.239-257, 3 November 2003
	Amr Sabry , Matthias Felleisen, Reasoning about programs in continuation-passing style., ACM SIGPLAN Lisp Pointers, v.V n.1, p.288-298, Jan. 1992
	Suresh Jagannathan , Jim Philbin, A foundation for an efficient multi-threaded scheme system, ACM SIGPLAN Lisp Pointers, v.V n.1, p.345-357, Jan. 1992
	O. Shivers, Control flow analysis in scheme, ACM SIGPLAN Notices, v.23 n.7, p.164-174, July 1988
	Matthias Blume , Andrew W. Appel, Lambda-splitting: a higher-order approach to cross-module optimizations, ACM SIGPLAN Notices, v.32 n.8, p.112-124, Aug. 1997
	Suresh Jagannathan, Metalevel building blocks for modular systems, ACM Transactions on Programming Languages and Systems (TOPLAS), v.16 n.3, p.456-492, May 1994
	Norman Adams , Jonathan Rees, Object-oriented programming in scheme, Proceedings of the 1988 ACM conference on LISP and functional programming, p.277-288, July 25-27, 1988, Snowbird, Utah, United States
	Yasuhiko Minamide , Greg Morrisett , Robert Harper, Typed closure conversion, Proceedings of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.271-283, January 21-24, 1996, St. Petersburg Beach, Florida, United States
	Suresh Jagannathan , Peter Thiemann , Stephen Weeks , Andrew Wright, Single and loving it: must-alias analysis for higher-order languages, Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.329-341, January 19-21, 1998, San Diego, California, United States
	Matthew Fluet , Stephen Weeks, Contification using dominators, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Peter Steenkiste , John Hennessy, Tags and type checking in LISP: hardware and software approaches, ACM SIGPLAN Notices, v.22 n.10, p.50-59, Oct. 1987
	Peter Steenkiste , John Hennessy, Lisp on a Reduced-Instruction-Set Processor: Characterization and Optimization, Computer, v.21 n.7, p.34-45, July 1988
	Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Wei-Chung Hsu , Charles N. Fisher , James R. Goodman, On the Minimization of Loads/Stores in Local Register Allocation, IEEE Transactions on Software Engineering, v.15 n.10, p.1252-1260, October 1989
	David Tarditi , Greg Morrisett , Perry Cheng , Chris Stone , Robert Harper , Peter Lee, TIL: a type-directed, optimizing compiler for ML, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Craig Chambers , David Ungar, A retrospective on: "customization: optimizing compiler technology for self, a dynamically-typed object-oriented programming language", ACM SIGPLAN Notices, v.39 n.4, April 2004
	Olin Shivers, Higher-order control-flow analysis in retrospect: lessons learned, lessons abandoned, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Cormac Flanagan , Amr Sabry , Bruce F. Duba , Matthias Felleisen, The essence of compiling with continuations, ACM SIGPLAN Notices, v.39 n.4, April 2004
	Manuel Serrano , Frédéric Boussinot , Bernard Serpette, Scheme fair threads, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.203-214, August 24-26, 2004, Verona, Italy
	Olin Shivers , David Fisher, Multi-return function call, ACM SIGPLAN Notices, v.39 n.9, September 2004
	Guy L. Steele , Richard P. Gabriel, The evolution of Lisp, History of programming languages---II, ACM Press, New York, NY, 1996
	Matthew Might , Olin Shivers, Environment analysis via ΔCFA, ACM SIGPLAN Notices, v.41 n.1, p.127-140, January 2006
	Olivier Danvy , Lasse R. Nielsen, CPS transformation of beta-redexes, Information Processing Letters, v.94 n.5, p.217-224, 15 June 2005
	Oscar Waddell , Dipanwita Sarkar , R. Kent Dybvig, Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct, Higher-Order and Symbolic Computation, v.18 n.3-4, p.299-326, December 2005
	Allyn Dimock , Ian Westmacott , Robert Muller , Franklyn Turbak , J. B. Wells, Functioning without closure: type-safe customized function representations for standard ML, ACM SIGPLAN Notices, v.36 n.10, October 2001
	Christian Queinnec, Dynamic extent objects, ACM SIGPLAN Lisp Pointers, v.2 n.1, p.11-21, July-August-September 1988
	Henry G. Baker, CONS should not CONS its arguments, or, a lazy alloc is a smart alloc, ACM SIGPLAN Notices, v.27 n.3, p.24-34, March 1992
	Peter Nuth , Robert Halstead, Jr., A study of LISP on a multiprocessor preliminary version, ACM SIGPLAN Lisp Pointers, v.2 n.3-4, p.15-32, January-June 1989
	Ozan S. Yigit, Readings in scheme, ACM SIGPLAN Lisp Pointers, v.2 n.1, p.56-61, July-August-September 1988
	Paul Hudak , John Hughes , Simon Peyton Jones , Philip Wadler, A history of Haskell: being lazy with class, Proceedings of the third ACM SIGPLAN conference on History of programming languages, p.12-1-12-55, June 09-10, 2007, San Diego, California
	Matthew Might , Olin Shivers, Analyzing the environment structure of higher-order languages using frame strings, Theoretical Computer Science, v.375 n.1-3, p.137-168, May, 2007
	Olin Shivers , David Fisher, Multi-return function call, Journal of Functional Programming, v.16 n.4-5, p.547-582, July 2006
	Dan Teodosiu, HARE: an optimizing portable compiler for Scheme, ACM SIGPLAN Notices, v.26 n.1, p.109-120, Jan. 1991
	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
	Henry G. Baker, Equal rights for functional objects or, the more things change, the more they are the same, ACM SIGPLAN OOPS Messenger, v.4 n.4, p.2-27, Oct. 1993
	J Rees , W Clinger, Revised report on the algorithmic language scheme, ACM SIGPLAN Notices, v.21 n.12, p.37-79, Dec. 1986
	Richard A. Kelsey, A correspondence between continuation passing style and static single assignment form, ACM SIGPLAN Notices, v.30 n.3, p.13-22, March 1993
	Andrew Tolmach , Dino P. Oliva, From ML to Ada: Strongly-typed language interoperability via source translation, Journal of Functional Programming, v.8 n.4, p.367-412, July 1998
	John Reppy, Optimizing Nested Loops Using Local CPS Conversion, Higher-Order and Symbolic Computation, v.15 n.2-3, p.161-180, September 2002
	William D. Clinger , Anne H. Hartheimer , Eric M. Ost, Implementation Strategies for First-Class Continuations, Higher-Order and Symbolic Computation, v.12 n.1, p.7-45, April 1999
	Andrew Kennedy, Compiling with continuations, continued, ACM SIGPLAN Notices, v.42 n.9, September 2007