Author of the publication

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

Component support in PLT Scheme.. Softw. Pract. Exp., 32 (10): 933-954 (2002)Selectors Make Set-Based Analysis Too Hard., , , and . High. Order Symb. Comput., 18 (3-4): 245-269 (2005)DrScheme: a programming environment for Scheme., , , , , , and . J. Funct. Program., 12 (2): 159-182 (2002)Lightweight Closure Conversion., and . ACM Trans. Program. Lang. Syst., 19 (1): 48-86 (1997)Selective and Lightweight Closure Conversion., and . POPL, page 435-445. ACM Press, (1994)The Functional Imperative: Shape!, and . ESOP, volume 1381 of Lecture Notes in Computer Science, page 139-153. Springer, (1998)Selective Thunkification., and . SAS, volume 864 of Lecture Notes in Computer Science, page 162-178. Springer, (1994)Validating the Unit Correctness of Spreadsheet Programs., , , , and . ICSE, page 439-448. IEEE Computer Society, (2004)MysterX: A Scheme Toolkit for Building Interactive Applications with COM.. TOOLS (30), page 364-. IEEE Computer Society, (1999)