2007 |
31 | EE | Matthew Flatt,
Gang Yu,
Robert Bruce Findler,
Matthias Felleisen:
Adding delimited and composable control to a production programming environment.
ICFP 2007: 165-176 |
30 | EE | Matthew Flatt,
Benjamin C. Pierce:
Preface.
J. Funct. Program. 17(4-5): 431 (2007) |
2006 |
29 | EE | Matthew Flatt,
Robert Bruce Findler,
Matthias Felleisen:
Scheme with Classes, Mixins, and Traits.
APLAS 2006: 270-289 |
28 | EE | Scott Owens,
Matthew Flatt:
From structures and functors to modules and units.
ICFP 2006: 87-98 |
27 | EE | Sean McDirmid,
Wilson C. Hsieh,
Matthew Flatt:
A Framework for Modular Linking in OO Languages.
JMLC 2006: 116-135 |
26 | EE | Robert Bruce Findler,
Matthew Flatt:
Slideshow: functional presentations.
J. Funct. Program. 16(4-5): 583-619 (2006) |
2005 |
25 | EE | Ryan Culpepper,
Scott Owens,
Matthew Flatt:
Syntactic Abstraction in Component Interfaces.
GPCE 2005: 373-388 |
24 | EE | Kathryn E. Gray,
Robert Bruce Findler,
Matthew Flatt:
Fine-grained interoperability through mirrors and contracts.
OOPSLA 2005: 231-245 |
2004 |
23 | EE | Robert Bruce Findler,
Matthew Flatt,
Matthias Felleisen:
Semantic Casts: Contracts and Structural Subtyping in a Nominal World.
ECOOP 2004: 364-388 |
22 | EE | Robert Bruce Findler,
Matthew Flatt:
Slideshow: functional presentations.
ICFP 2004: 224-235 |
21 | EE | Adam Wick,
Matthew Flatt:
Memory accounting without partitions.
ISMM 2004: 120-130 |
20 | EE | David S. Goldberg,
Robert Bruce Findler,
Matthew Flatt:
Super and inner: together at last!
OOPSLA 2004: 116-129 |
19 | EE | Matthew Flatt,
Robert Bruce Findler:
Kill-safe synchronization abstractions.
PLDI 2004: 47-58 |
18 | EE | Jacob Matthews,
Robert Bruce Findler,
Matthew Flatt,
Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
RTA 2004: 301-311 |
17 | EE | 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) |
2003 |
16 | EE | Kathryn E. Gray,
Matthew Flatt:
ProfessorJ: a gradual introduction to Java through language levels.
OOPSLA Companion 2003: 170-177 |
15 | EE | Peter Van Roy,
Joe Armstrong,
Matthew Flatt,
Boris Magnusson:
The role of language paradigms in teaching programming.
SIGCSE 2003: 269-270 |
2002 |
14 | EE | Matthew 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 |
12 | EE | John 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 |
9 | EE | Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
A Programmer's Reduction Semantics for Classes and Mixins.
Formal Syntax and Semantics of Java 1999: 241-269 |
8 | EE | 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 |
1998 |
7 | EE | Robert 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 |
5 | EE | Matthew 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 |
3 | | Robert Bruce Findler,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
DrScheme: A Pedagogic Programming Environment for Scheme.
PLILP 1997: 369-388 |
2 | EE | Matthew 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 |