Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Matthew Flatt
2010 – today
- 2012
[j8]- [j7]Matthew Flatt, Ryan Culpepper, David Darais, Robert Bruce Findler: Macros that Work Together - Compile-time bindings, partial expansion, and definition contexts. J. Funct. Program. 22(2): 181-216 (2012)
- [c37]Jon Rafkind, Matthew Flatt: Honu: syntactic extension for algebraic notation through enforestation. GPCE 2012: 122-131
- [c36]T. Stephen Strickland, Sam Tobin-Hochstadt, Robert Bruce Findler, Matthew Flatt: Chaperones and impersonators: run-time support for reasonable interposition. OOPSLA 2012: 943-962
- [c35]Vincent St-Amour, Sam Tobin-Hochstadt, Matthew Flatt, Matthias Felleisen: Typing the Numeric Tower. PADL 2012: 289-303
- [c34]Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler: Run your research: on the effectiveness of lightweight mechanization. POPL 2012: 285-296
- 2011
- [c33]Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda: Places: adding message-passing parallelism to racket. DLS 2011: 85-96
- [c32]Sam Tobin-Hochstadt, Vincent St-Amour, Ryan Culpepper, Matthew Flatt, Matthias Felleisen: Languages as libraries. PLDI 2011: 132-141
- 2010
- [c31]Kevin Atkinson, Matthew Flatt, Gary Lindstrom: ABI compatibility through a customizable language. GPCE 2010: 147-156
- [c30]Casey Klein, Matthew Flatt, Robert Bruce Findler: Random testing for higher-order, stateful programs. OOPSLA 2010: 555-566
- [c29]James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt: Back to the futures: incremental parallelization of existing sequential runtime systems. OOPSLA 2010: 583-597
2000 – 2009
- 2009
- [b1]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt: Semantics Engineering with PLT Redex. MIT Press 2009, ISBN 978-0-262-06275-6, pp. I-XII, 1-502
- [c28]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
- [c27]Matthew Flatt, Eli Barzilay, Robert Bruce Findler: Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120
- [c26]Jon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise garbage collection for C. ISMM 2009: 39-48
- 2007
- [j6]
- [c25]Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
- 2006
- [j5]Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)
- [c24]Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
- [c23]
- [c22]Sean McDirmid, Wilson C. Hsieh, Matthew Flatt: A Framework for Modular Linking in OO Languages. JMLC 2006: 116-135
- 2005
- [c21]Ryan Culpepper, Scott Owens, Matthew Flatt: Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388
- [c20]Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245
- 2004
- [j4]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The structure and interpretation of the computer science curriculum. J. Funct. Program. 14(4): 365-378 (2004)
- [c19]Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
- [c18]
- [c17]
- [c16]David S. Goldberg, Robert Bruce Findler, Matthew Flatt: Super and inner: together at last! OOPSLA 2004: 116-129
- [c15]
- [c14]Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
- 2003
- [c13]Kathryn E. Gray, Matthew Flatt: ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion 2003: 170-177
- [c12]Peter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson: The role of language paradigms in teaching programming. SIGCSE 2003: 269-270
- 2002
- [j3]Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen: DrScheme: a programming environment for Scheme. J. Funct. Program. 12(2): 159-182 (2002)
- [c11]
- 2001
- [c10]
- [c9]Sean McDirmid, Matthew Flatt, Wilson C. Hsieh: Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA 2001: 211-222
- 2000
- [c8]Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. OSDI 2000: 347-360
1990 – 1999
- 1999
- [c7]Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). ICFP 1999: 138-147
- [c6]Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269
- 1998
- [j2]Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)
- [c5]Robert Bruce Findler, Matthew Flatt: Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104
- [c4]
- [c3]
- 1997
- [j1]Matthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. Electr. Notes Theor. Comput. Sci. 10: 204-229 (1997)
- [c2]Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
- 1996
- [c1]Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-04-05 22:16 CEST by the dblp team