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
3466*1993
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5601998
How to Design Programs: An Introduction to Programming and Computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
425*2001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
3182009
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
3082002
Reference: Racket
M Flatt
Technical Report PLT-TR-2010-1, PLT Inc., 2010, 2010
302*2010
Units: Cool modules for HOT languages
M Flatt, M Felleisen
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
2931998
Jiazzi: new-age components for old-fasioned Java
S McDirmid, M Flatt, WC Hsieh
ACM SIGPLAN Notices 36 (11), 211-222, 2001
2272001
Modular object-oriented programming with units and mixins
RB Findler, M Flatt
ACM SIGPLAN Notices 34 (1), 94-104, 1998
2151998
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
1902011
A programmer’s reduction semantics for classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Formal syntax and semantics of Java, 241-269, 1999
1871999
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
1822009
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
1782000
Composable and compilable macros: you want it when?
M Flatt
ACM SIGPLAN Notices 37 (9), 72-83, 2002
1462002
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
1331996
DrScheme: A pedagogic programming environment for Scheme
RB Findler, C Flanagan, M Flatt, S Krishnamurthi, M Felleisen
International symposium on programming language implementation and logic …, 1997
1251997
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
1062012
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
841999
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
802012
Modeling an algebraic stepper
J Clements, M Flatt, M Felleisen
European symposium on programming, 320-334, 2001
792001
The system can't perform the operation now. Try again later.
Articles 1–20