Segui
Matthew Flatt
Matthew Flatt
Professor, School of Computing, University of Utah
Email verificata su cs.utah.edu - Home page
Titolo
Citata da
Citata da
Anno
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
3734*1993
Classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of …, 1998
5941998
How to Design Programs: An Introduction to Programming and Computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
MIT Press, 2001
567*2001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
4092009
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
3382002
Units: Cool modules for HOT languages
M Flatt, M Felleisen
Proceedings of the ACM SIGPLAN 1998 conference on Programming language …, 1998
3061998
Reference: Racket
M Flatt
Technical Report PLT-TR-2010-1, PLT Inc., 2010, 2010
258*2010
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
2342011
Jiazzi: new-age components for old-fasioned Java
S McDirmid, M Flatt, WC Hsieh
ACM SIGPLAN Notices 36 (11), 211-222, 2001
2342001
Modular object-oriented programming with units and mixins
RB Findler, M Flatt
ACM SIGPLAN Notices 34 (1), 94-104, 1998
2211998
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
2092009
A programmer’s reduction semantics for classes and mixins
M Flatt, S Krishnamurthi, M Felleisen
Formal syntax and semantics of Java, 241-269, 1999
1911999
{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
1842000
Composable and compilable macros: you want it when?
M Flatt
ACM SIGPLAN Notices 37 (9), 72-83, 2002
1682002
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
1472012
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
1341996
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
1291997
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
1182018
The Racket Manifesto
M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ...
LIPIcs-Leibniz International Proceedings in Informatics 32, 2015
1072015
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
1062012
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20