Tom Hirschowitz, Xavier Leroy, and J. B. Wells. Compilation of extended recursion in callby -value functional languages. In Principles and Practice of Declarative Programming, pages 160--171. ACM Press, 2003. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (Correct)
.... 95] In work on the compilation of extended recursion (particularly for mixin modules) Hirschowitz, Leroy, and Wells have (independently) used a semantics which is similar to # d save that (a) the language allows more general recursive definitions, and (b) the semantics collapses multiple lets [HLW03, Hir03] It draws on work of Ariola and Blom [AB02] which also collapses let blocks. For rebinding, we need to preserve this structure. There are also similarities with Felleisen and Hieb s syntactic theory of state [FH92] Their # S models late (redex time) resolution of state variables in a ....
Tom Hirschowitz, Xavier Leroy, and J. B. Wells. Compilation of extended recursion in callby -value functional languages. In Principles and Practice of Declarative Programming, pages 160--171. ACM Press, 2003.
Rigid Mixin Modules - Hirschowitz (2003) Self-citation (Hirschowitz) (Correct)
No context found.
Tom Hirschowitz, Xavier Leroy, and J. B. Wells. Compilation of extended recursion in call-by-value functional languages. In International Conference on Principles and Practice of Declarative Programming, pages 160171. ACM Press, 2003.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. Self-citation (Hirschowitz Leroy Wells) (Correct)
No context found.
T. Hirschowitz, X. Leroy, and J. B. Wells. Compilation of extended recursion in call-by-value functional languages. In Princ. and Practice of Decl. Prog., pages 160-171. ACM Press, 2003.
Call-by-Value Mixin Modules - Reduction Semantics, Side.. - Hirschowitz, Leroy.. (2004) Self-citation (Hirschowitz Leroy Wells) (Correct)
No context found.
T. Hirschowitz, X. Leroy, J. B. Wells. Compilation of extended recursion in call-by-value functional languages. In Princ. and Practice of Decl. Prog. ACM Press, 2003.
Dynamic Rebinding for Marshalling and Update, with .. - Bierman, Hicks.. (2004) (Correct)
No context found.
Tom Hirschowitz, Xavier Leroy, and J. B. Wells. Compilation of extended recursion in callby -value functional languages. In Principles and Practice of Declarative Programming, pages 160--171. ACM Press, 2003.
An Abstract Monadic Semantics for Value Recursion - Moggi, Sabry (2003) (5 citations) (Correct)
No context found.
Hirschowitz, T., Leroy, X., and Wells, J. B. Compilation of extended recursion in callby -value functional languages. In Proc. 5th Int'l Conf. Principles & Practice Declarative Programming (2003).
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC