Author of the publication

Set constraints for destructive array update optimization.

, and . J. Funct. Program., 11 (3): 319-346 (2001)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

Revised3 report on the algorithmic language scheme., and . ACM SIGPLAN Notices, 21 (12): 37-79 (1986)Linear combinations of radioactive decay models for generational garbage collection., and . Sci. Comput. Program., 62 (2): 184-203 (2006)The Scheme 311 Compiler: An Exercise in Denotational Semantics.. LISP and Functional Programming, page 356-364. ACM, (1984)Order-of-evaluation Analysis for Destructive Updates in Strict Functional Languages with Flat Aggregates., , and . FPCA, page 266-275. ACM, (1993)Optimizing memory usage in higher-order programming languages: theoretical and experimental studies., and . ACM SIGSOFT Softw. Eng. Notes, 25 (1): 92 (2000)Hygienic macro technology., and . Proc. ACM Program. Lang., 4 (HOPL): 80:1-80:110 (2020)Nondeterministic Call by Need is Neither Lazy Nor by Name.. Symposium on LISP and Functional Programming, page 226-234. ACM, (1982)Lambda, the Ultimate Label or a Simple Optimizing Compiler for Scheme., and . LISP and Functional Programming, page 128-139. ACM, (1994)Parallel Destructive Updating in Strict Functional Languages., and . LISP and Functional Programming, page 263-272. ACM, (1994)Proper Tail Recursion and Space Efficiency.. PLDI, page 174-185. ACM, (1998)