Följ
Matthew Flatt
Matthew Flatt
Professor, School of Computing, University of Utah
Verifierad e-postadress på cs.utah.edu - Startsida
Titel
Citeras av
Citeras av
År
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
3657*1993
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5731998
How to Design Programs: An Introduction to Programming and Computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
4292001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
3482009
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
3202002
Reference: Racket
M Flatt
Technical Report PLT-TR-2010-1, PLT Inc., 2010, 2010
312*2010
Units: Cool modules for HOT languages
M Flatt, M Felleisen
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
3011998
Jiazzi: new-age components for old-fasioned Java
S McDirmid, M Flatt, WC Hsieh
ACM SIGPLAN Notices 36 (11), 211-222, 2001
2352001
Modular object-oriented programming with units and mixins
RB Findler, M Flatt
ACM SIGPLAN Notices 34 (1), 94-104, 1998
2191998
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
2042011
A programmer’s reduction semantics for classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Formal syntax and semantics of Java, 241-269, 1999
1901999
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
1882009
{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
1822000
Composable and compilable macros: you want it when?
M Flatt
ACM SIGPLAN Notices 37 (9), 72-83, 2002
1482002
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
1351996
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
1221997
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
1192012
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
912012
Modeling an algebraic stepper
J Clements, M Flatt, M Felleisen
European symposium on programming, 320-334, 2001
852001
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
851999
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–20