Follow
Matthew Flatt
Matthew Flatt
Professor, School of Computing, University of Utah
Verified email at cs.utah.edu - Homepage
Title
Cited by
Cited by
Year
PsyScope: A new graphic interactive environment for designing psychology experiments
JD Cohen, B MacWhinney, M Flatt, J Provost
Behavioral Research Methods, Instruments, and Computers 25 (2), 257-271, 1993
3698*1993
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5851998
How to Design Programs: An Introduction to Programming and Computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
4632001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
3792009
DrScheme: A programming environment for Scheme
RB Findler, J Clements, C Flanagan, M Flatt, S Krishnamurthi, P Steckler, ...
Journal of functional programming 12 (2), 159-182, 2002
3252002
Reference: Racket
M Flatt
Technical Report PLT-TR-2010-1, PLT Inc., 2010, 2010
314*2010
Units: Cool modules for HOT languages
M Flatt, M Felleisen
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
3041998
Jiazzi: new-age components for old-fasioned Java
S McDirmid, M Flatt, WC Hsieh
ACM SIGPLAN Notices 36 (11), 211-222, 2001
2332001
Languages as libraries
S Tobin-Hochstadt, V St-Amour, R Culpepper, M Flatt, M Felleisen
Proceedings of the 32nd ACM SIGPLAN conference on Programming language …, 2011
2202011
Modular object-oriented programming with units and mixins
RB Findler, M Flatt
ACM SIGPLAN Notices 34 (1), 94-104, 1998
2161998
Revised6 report on the algorithmic language Scheme
M Sperber, RK Dybvig, M Flatt, A Van Straaten, R Findler, J Matthews
Journal of Functional Programming 19 (S1), 1-301, 2009
1992009
A programmer’s reduction semantics for classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Formal syntax and semantics of Java, 241-269, 1999
1891999
Knit: Component composition for systems software
A Reid, M Flatt, L Stoller, J Lepreau, E Eide
Proceedings of the 4th conference on Symposium on Operating System Design …, 2000
1852000
Composable and compilable macros: you want it when?
M Flatt
ACM SIGPLAN Notices 37 (9), 72-83, 2002
1552002
Run your research: on the effectiveness of lightweight mechanization
C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ...
ACM SIGPLAN Notices 47 (1), 285-296, 2012
1372012
Catching bugs in the web of program invariants
C Flanagan, M Flatt, S Krishnamurthi, S Weirich, M Felleisen
Proceedings of the ACM SIGPLAN 1996 conference on Programming language …, 1996
1311996
DrScheme: A pedagogic programming environment for Scheme
RB Findler, C Flanagan, M Flatt, S Krishnamurthi, M Felleisen
Programming Languages: Implementations, Logics, and Programs: 9th …, 1997
1271997
Chaperones and impersonators: run-time support for reasonable interposition
TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt
ACM SIGPLAN Notices 47 (10), 943-962, 2012
942012
The Racket Manifesto
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
LIPIcs-Leibniz International Proceedings in Informatics 32, 2015
912015
Programming languages as operating systems (or revenge of the son of the lisp machine)
M Flatt, RB Findler, S Krishnamurthi, M Felleisen
ACM SIGPLAN Notices 34 (9), 138-147, 1999
871999
The system can't perform the operation now. Try again later.
Articles 1–20