| 2009 |
|---|
| 32 | EE | Philip Wadler,
Robert Bruce Findler:
Well-Typed Programs Can't Be Blamed.
ESOP 2009: 1-16 |
| 31 | EE | Jacob Matthews,
Robert Bruce Findler:
Operational semantics for multi-language programs.
ACM Trans. Program. Lang. Syst. 31(3): (2009) |
| 2008 |
|---|
| 30 | EE | Jacob Matthews,
Robert Bruce Findler:
An operational semantics for Scheme.
J. Funct. Program. 18(1): 47-86 (2008) |
| 2007 |
|---|
| 29 | EE | Arjun Guha,
Jacob Matthews,
Robert Bruce Findler,
Shriram Krishnamurthi:
Relationally-parametric polymorphic contracts.
DLS 2007: 29-40 |
| 28 | EE | George Kuan,
David MacQueen,
Robert Bruce Findler:
A Rewriting Semantics for Type Inference.
ESOP 2007: 426-440 |
| 27 | EE | Matthew Flatt,
Gang Yu,
Robert Bruce Findler,
Matthias Felleisen:
Adding delimited and composable control to a production programming environment.
ICFP 2007: 165-176 |
| 26 | EE | Robert Bruce Findler,
Shu-yu Guo,
Anne Rogers:
Lazy Contract Checking for Immutable Data Structures.
IFL 2007: 111-128 |
| 25 | EE | Jacob Matthews,
Robert Bruce Findler:
Operational semantics for multi-language programs.
POPL 2007: 3-10 |
| 2006 |
|---|
| 24 | EE | Matthew Flatt,
Robert Bruce Findler,
Matthias Felleisen:
Scheme with Classes, Mixins, and Traits.
APLAS 2006: 270-289 |
| 23 | EE | Robert Bruce Findler,
Matthias Blume:
Contracts as Pairs of Projections.
FLOPS 2006: 226-241 |
| 22 | EE | Philippe Meunier,
Robert Bruce Findler,
Matthias Felleisen:
Modular set-based analysis from contracts.
POPL 2006: 218-231 |
| 21 | EE | Robert Bruce Findler,
Matthew Flatt:
Slideshow: functional presentations.
J. Funct. Program. 16(4-5): 583-619 (2006) |
| 20 | EE | Robert Bruce Findler:
Scheme and Functional Programming 2006: paper abstracts.
SIGPLAN Notices 41(8): 6-9 (2006) |
| 2005 |
|---|
| 19 | EE | Kathryn E. Gray,
Robert Bruce Findler,
Matthew Flatt:
Fine-grained interoperability through mirrors and contracts.
OOPSLA 2005: 231-245 |
| 18 | EE | Philippe Meunier,
Robert Bruce Findler,
Paul Steckler,
Mitchell Wand:
Selectors Make Set-Based Analysis Too Hard.
Higher-Order and Symbolic Computation 18(3-4): 245-269 (2005) |
| 2004 |
|---|
| 17 | EE | Robert Bruce Findler,
Matthew Flatt,
Matthias Felleisen:
Semantic Casts: Contracts and Structural Subtyping in a Nominal World.
ECOOP 2004: 364-388 |
| 16 | EE | Robert Bruce Findler,
Matthew Flatt:
Slideshow: functional presentations.
ICFP 2004: 224-235 |
| 15 | EE | David S. Goldberg,
Robert Bruce Findler,
Matthew Flatt:
Super and inner: together at last!
OOPSLA 2004: 116-129 |
| 14 | EE | Matthew Flatt,
Robert Bruce Findler:
Kill-safe synchronization abstractions.
PLDI 2004: 47-58 |
| 13 | EE | Jacob Matthews,
Robert Bruce Findler,
Matthew Flatt,
Matthias Felleisen:
A Visual Environment for Developing Context-Sensitive Term Rewriting Systems.
RTA 2004: 301-311 |
| 12 | EE | Jacob Matthews,
Robert Bruce Findler,
Paul T. Graunke,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the Web.
Autom. Softw. Eng. 11(4): 337-364 (2004) |
| 11 | 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 |
|---|
| 10 | EE | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Modeling Web Interactions.
ESOP 2003: 238-252 |
| 2002 |
|---|
| 9 | EE | Robert Bruce Findler,
Matthias Felleisen:
Contracts for higher-order functions.
ICFP 2002: 48-59 |
| 8 | | 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 |
|---|
| 7 | EE | Paul T. Graunke,
Robert Bruce Findler,
Shriram Krishnamurthi,
Matthias Felleisen:
Automatically Restructuring Programs for the We.
ASE 2001: 211-222 |
| 6 | EE | Robert Bruce Findler,
Mario Latendresse,
Matthias Felleisen:
Behavioral contracts and behavioral subtyping.
ESEC / SIGSOFT FSE 2001: 229-236 |
| 5 | | Robert Bruce Findler,
Matthias Felleisen:
Contract Soundness for Object-Oriented Languages.
OOPSLA 2001: 1-15 |
| 1999 |
|---|
| 4 | 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 |
|---|
| 3 | EE | Robert Bruce Findler,
Matthew Flatt:
Modular Object-Oriented Programming with Units and Mixins.
ICFP 1998: 94-104 |
| 2 | | Matthias Felleisen,
Robert Bruce Findler,
Matthew Flatt,
Shriram Krishnamurthi:
The DrScheme Project: An Overview.
SIGPLAN Notices 33(6): 17-23 (1998) |
| 1997 |
|---|
| 1 | | Robert Bruce Findler,
Cormac Flanagan,
Matthew Flatt,
Shriram Krishnamurthi,
Matthias Felleisen:
DrScheme: A Pedagogic Programming Environment for Scheme.
PLILP 1997: 369-388 |
