( en | de | ru )

 

Disambiguierung von "Flatt, Matthew"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
Static Debugging: Browsing the Web of Program Invariants.

, , , , und . PLDI, Seite 23-32. ACM, (1996)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

Markus Flatt

Holger Flatt

Björn Flatt

Eberhard Flatt

Harry Flatt

 

Weitere Publikationen von Autoren mit dem selben Namen

How to design programs: an introduction to programming and computing, , , und . MIT Press, (2001)How to Design Programs. An Introduction to Computing and Programming, , , und . 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.Creating languages in Racket.. Commun. ACM, 55 (1): 48-56 (2012)Seeing the futures: profiling shared-memory parallel racket., , , , und . FHPC@ICFP, Seite 73-82. ACM, (2012)Source-to-Source Compilation via Submodules., und . ELS, Seite 57-64. ELSAA, (2016)A functional I/O system or, fun for freshman kids., , , und . ICFP, Seite 47-58. ACM, (2009)Static Debugging: Browsing the Web of Program Invariants., , , , und . PLDI, Seite 23-32. ACM, (1996)Runtime and compiler support for HAMTs., , und . DLS, Seite 48-59. ACM, (2021)Chaperones and impersonators: run-time support for reasonable interposition., , , und . OOPSLA, Seite 943-962. ACM, (2012)Classes and Mixins., , und . POPL, Seite 171-183. ACM, (1998)