Author of the publication

A tail-recursive machine with stack inspection.

, and . ACM Trans. Program. Lang. Syst., 26 (6): 1029-1052 (2004)

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

A Tail-Recursive Semantics for Stack Inspections., and . ESOP, volume 2618 of Lecture Notes in Computer Science, page 22-37. Springer, (2003)Laziness without all the hard work: combining lazy and strict languages for teaching., and . FDPE@ICFP, page 9-13. ACM, (2005)Supporting introductory test-driven labs with WebIDE., , , and . CSEE&T, page 51-60. IEEE Computer Society, (2011)Mixed Approaches to CS0: Exploring Topic and Pedagogy Variance after Six Years of CS0., , , , , , , , and . SIGCSE, page 20-25. ACM, (2018)Termination in Language-based Systems., , and . NDSS, The Internet Society, (2001)Improving first-year success and retention through interest-based CS0 courses., , , and . SIGCSE, page 589-594. ACM, (2012)Implications of integrating test-driven development into CS1/CS2 curricula., , and . SIGCSE, page 148-152. ACM, (2009)DrScheme: a programming environment for Scheme., , , , , , and . J. Funct. Program., 12 (2): 159-182 (2002)Dynamics of large scale networks following a merger., , and . CoRR, (2020)Towards a Notional Machine for Runtime Stacks and Scope: When Stacks Don't Stack Up., and . ICER (1), page 206-222. ACM, (2022)