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
3728*1993
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5931998
How to Design Programs: An Introduction to Programming and Computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
4902001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
3982009
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
3332002
Reference: Racket
M Flatt
Technical Report PLT-TR-2010-1, PLT Inc., 2010, 2010
317*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
2342001
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
2312011
Modular object-oriented programming with units and mixins
RB Findler, M Flatt
ACM SIGPLAN Notices 34 (1), 94-104, 1998
2171998
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
2062009
A programmer’s reduction semantics for classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Formal syntax and semantics of Java, 241-269, 1999
1921999
{CpU}: Component Composition for Systems Software
A Reid, M Flatt, L Stoller, E Eide
Fourth Symposium on Operating Systems Design and Implementation (OSDI 2000), 2000
1852000
Composable and compilable macros: you want it when?
M Flatt
ACM SIGPLAN Notices 37 (9), 72-83, 2002
1602002
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
1412012
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
1281997
A programmable programming language
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
Communications of the ACM 61 (3), 62-71, 2018
1032018
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
1012012
The Racket Manifesto
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
LIPIcs-Leibniz International Proceedings in Informatics 32, 2015
992015
The system can't perform the operation now. Try again later.
Articles 1–20