dblp.uni-trier.dewww.uni-trier.de

Matthew Flatt Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
34EEMatthew Flatt, Eli Barzilay, Robert Bruce Findler: Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120
33EEMatthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
32EEJon Rafkind, Adam Wick, John Regehr, Matthew Flatt: Precise garbage collection for C. ISMM 2009: 39-48
2007
31EEMatthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
30EEMatthew Flatt, Benjamin C. Pierce: Preface. J. Funct. Program. 17(4-5): 431 (2007)
2006
29EEMatthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
28EEScott Owens, Matthew Flatt: From structures and functors to modules and units. ICFP 2006: 87-98
27EESean McDirmid, Wilson C. Hsieh, Matthew Flatt: A Framework for Modular Linking in OO Languages. JMLC 2006: 116-135
26EERobert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)
2005
25EERyan Culpepper, Scott Owens, Matthew Flatt: Syntactic Abstraction in Component Interfaces. GPCE 2005: 373-388
24EEKathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245
2004
23EERobert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
22EERobert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. ICFP 2004: 224-235
21EEAdam Wick, Matthew Flatt: Memory accounting without partitions. ISMM 2004: 120-130
20EEDavid S. Goldberg, Robert Bruce Findler, Matthew Flatt: Super and inner: together at last! OOPSLA 2004: 116-129
19EEMatthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58
18EEJacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
17EEMatthias 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)
2003
16EEKathryn E. Gray, Matthew Flatt: ProfessorJ: a gradual introduction to Java through language levels. OOPSLA Companion 2003: 170-177
15EEPeter Van Roy, Joe Armstrong, Matthew Flatt, Boris Magnusson: The role of language paradigms in teaching programming. SIGCSE 2003: 269-270
2002
14EEMatthew Flatt: Composable and compilable macros: : you want it when? ICFP 2002: 72-83
13 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)
2001
12EEJohn Clements, Matthew Flatt, Matthias Felleisen: Modeling an Algebraic Stepper. ESOP 2001: 320-334
11 Sean McDirmid, Matthew Flatt, Wilson C. Hsieh: Jiazzi: New-Age Components for Old-Fashioned Java. OOPSLA 2001: 211-222
2000
10 Alastair Reid, Matthew Flatt, Leigh Stoller, Jay Lepreau, Eric Eide: Knit: Component Composition for Systems Software. OSDI 2000: 347-360
1999
9EEMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: A Programmer's Reduction Semantics for Classes and Mixins. Formal Syntax and Semantics of Java 1999: 241-269
8EEMatthew 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
1998
7EERobert Bruce Findler, Matthew Flatt: Modular Object-Oriented Programming with Units and Mixins. ICFP 1998: 94-104
6 Matthew Flatt, Matthias Felleisen: Units: Cool Modules for HOT Languages. PLDI 1998: 236-248
5EEMatthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: Classes and Mixins. POPL 1998: 171-183
4 Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: The DrScheme Project: An Overview. SIGPLAN Notices 33(6): 17-23 (1998)
1997
3EERobert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen: DrScheme: A Pedagogic Programming Environment for Scheme. PLILP 1997: 369-388
2EEMatthew Flatt, Matthias Felleisen: Program Units as Higher-Order Modules. Electr. Notes Theor. Comput. Sci. 10: (1997)
1996
1 Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Stephanie Weirich, Matthias Felleisen: Static Debugging: Browsing the Web of Program Invariants. PLDI 1996: 23-32

Coauthor Index

1Joe Armstrong [15]
2Eli Barzilay [34]
3John Clements [12] [13]
4Ryan Culpepper [25]
5Eric Eide (Eric Norman Eide) [10]
6Matthias Felleisen [1] [2] [3] [4] [5] [6] [8] [9] [12] [13] [17] [18] [23] [29] [31] [33]
7Robert Bruce Findler [3] [4] [7] [8] [13] [17] [18] [19] [20] [22] [23] [24] [26] [29] [31] [33] [34]
8Cormac Flanagan [1] [3] [13]
9David S. Goldberg [20]
10Kathryn E. Gray [16] [24]
11Wilson C. Hsieh [11] [27]
12Shriram Krishnamurthi [1] [3] [4] [5] [8] [9] [13] [17] [33]
13Jay Lepreau [10]
14Boris Magnusson [15]
15Jacob Matthews [18]
16Sean McDirmid [11] [27]
17Scott Owens [25] [28]
18Benjamin C. Pierce [30]
19Jon Rafkind [32]
20John Regehr [32]
21Alastair David Reid (Alastair D. Reid, Alastair Reid) [10]
22Peter Van Roy [15]
23Paul Steckler [13]
24Leigh Stoller [10]
25Stephanie Weirich [1]
26Adam Wick [21] [32]
27Gang Yu [31]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)