( en | de | ru )

 

Disambiguation of "Flatt, Matthew"

Author of the publication

copydeleteadd this publication to your clipboard
Modeling an Algebraic Stepper.

, , and . ESOP, volume 2028 of Lecture Notes in Computer Science, page 320-334. Springer, (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.

Markus Flatt

Holger Flatt

Björn Flatt

Harry Flatt

Eberhard Flatt

 

Other publications of authors with the same name

How to design programs: an introduction to programming and computing, , , and . MIT Press, (2001)Seeing the futures: profiling shared-memory parallel racket., , , , and . FHPC@ICFP, page 73-82. ACM, (2012)Creating languages in Racket.. Commun. ACM, 55 (1): 48-56 (2012)How to Design Programs. An Introduction to Computing and Programming, , , and . The MIT Press, Cambridge, Massachusetts London, England, (2001)MIT -- Massachusetts Institute of Technology -- Online version $3^rd$ edition 22.~September~2002: http://www.htdp.org/2002-09-22/Book/curriculum.html -- last visited $19^th$~June~2008.Source-to-Source Compilation via Submodules., and . ELS, page 57-64. ELSAA, (2016)The TeachScheme! Project: Computing and Programming for Every Student., , , and . Comput. Sci. Educ., 14 (1): 55-77 (2004)Chaperones and impersonators: run-time support for reasonable interposition., , , and . OOPSLA, page 943-962. ACM, (2012)A functional I/O system or, fun for freshman kids., , , and . ICFP, page 47-58. ACM, (2009)Static Debugging: Browsing the Web of Program Invariants., , , , and . PLDI, page 23-32. ACM, (1996)Runtime and compiler support for HAMTs., , and . DLS, page 48-59. ACM, (2021)