Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct-Reference-Cited by-同舟云学术

Fixing Letrec: A Faithful Yet Efficient Implementation of Scheme's Recursive Binding Construct

Published:2005-12 Issue:3-4 Volume:18 Page:299-326
ISSN:1388-3690
Container-title:Higher-Order and Symbolic Computation
language:en
Short-container-title:Higher-Order Symb Comput

Author:

Waddell Oscar,Sarkar Dipanwita,Dybvig R. Kent

Publisher

Springer Science and Business Media LLC

Subject

Computer Science Applications,Software

Link

http://link.springer.com/content/pdf/10.1007/s10990-005-4878-3.pdf

Reference16 articles.

1. Bondorf, A. Similix Manual, System Version 5.0. DIKU, University of Copenhagen, Denmark, 1993.

2. Bose, B. DDD—A transformation system for digital design derivation. Technical Report 331, Computer Science Dept., Indiana Univ., Bloomington, Ind., May 1991.

3. Burger, R.G. The Scheme machine. Technical Report 413, Computer Science Dept., Indiana Univ., Bloomington, Ind., August 1994.

4. Dybvig, R. K., Hieb, R., and Bruggeman, C. Syntactic abstraction in Scheme. Lisp and Symbolic Computation, 5(4) (1993) 295–326.

5. Feeley, M., Turcotte, M., and Lapalme, G. Using Multilisp for solving constraint satisfaction problems: An application to nucleic acid 3D structure determination. Lisp and Symbolic Computation, 7 (1994) 231–247.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. A practical mode system for recursive definitions;Proceedings of the ACM on Programming Languages;2021-01-04

2. JavaScript AOT compilation;ACM SIGPLAN Notices;2020-04-06

3. JavaScript AOT compilation;Proceedings of the 14th ACM SIGPLAN International Symposium on Dynamic Languages;2018-10-24

4. A nanopass framework for commercial compiler development;ACM SIGPLAN Notices;2013-11-12

5. A nanopass framework for commercial compiler development;Proceedings of the 18th ACM SIGPLAN international conference on Functional programming;2013-09-25