Robert Bruce Findler

	2009
34		Philip Wadler, Robert Bruce Findler: Well-Typed Programs Can't Be Blamed. ESOP 2009: 1-16
33		Matthew Flatt, Eli Barzilay, Robert Bruce Findler: Scribble: closing the book on ad hoc documentation tools. ICFP 2009: 109-120
32		Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi: A functional I/O system or, fun for freshman kids. ICFP 2009: 47-58
31		Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. ACM Trans. Program. Lang. Syst. 31(3): (2009)
	2008
30		Jacob Matthews, Robert Bruce Findler: An operational semantics for Scheme. J. Funct. Program. 18(1): 47-86 (2008)
	2007
29		Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi: Relationally-parametric polymorphic contracts. DLS 2007: 29-40
28		George Kuan, David MacQueen, Robert Bruce Findler: A Rewriting Semantics for Type Inference. ESOP 2007: 426-440
27		Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen: Adding delimited and composable control to a production programming environment. ICFP 2007: 165-176
26		Robert Bruce Findler, Shu-yu Guo, Anne Rogers: Lazy Contract Checking for Immutable Data Structures. IFL 2007: 111-128
25		Jacob Matthews, Robert Bruce Findler: Operational semantics for multi-language programs. POPL 2007: 3-10
	2006
24		Matthew Flatt, Robert Bruce Findler, Matthias Felleisen: Scheme with Classes, Mixins, and Traits. APLAS 2006: 270-289
23		Robert Bruce Findler, Matthias Blume: Contracts as Pairs of Projections. FLOPS 2006: 226-241
22		Philippe Meunier, Robert Bruce Findler, Matthias Felleisen: Modular set-based analysis from contracts. POPL 2006: 218-231
21		Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. J. Funct. Program. 16(4-5): 583-619 (2006)
20		Robert Bruce Findler: Scheme and Functional Programming 2006: paper abstracts. SIGPLAN Notices 41(8): 6-9 (2006)
	2005
19		Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt: Fine-grained interoperability through mirrors and contracts. OOPSLA 2005: 231-245
18		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		Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: Semantic Casts: Contracts and Structural Subtyping in a Nominal World. ECOOP 2004: 364-388
16		Robert Bruce Findler, Matthew Flatt: Slideshow: functional presentations. ICFP 2004: 224-235
15		David S. Goldberg, Robert Bruce Findler, Matthew Flatt: Super and inner: together at last! OOPSLA 2004: 116-129
14		Matthew Flatt, Robert Bruce Findler: Kill-safe synchronization abstractions. PLDI 2004: 47-58
13		Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen: A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. RTA 2004: 301-311
12		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		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		Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Modeling Web Interactions. ESOP 2003: 238-252
	2002
9		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		Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen: Automatically Restructuring Programs for the We. ASE 2001: 211-222
6		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		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		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

Coauthor Index

1	Eli Barzilay	[33]
2	Matthias Blume	[23]
3	John Clements	[8]
4	Matthias Felleisen	[1] [2] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [17] [22] [24] [27] [32]
5	Cormac Flanagan	[1] [8]
6	Matthew Flatt	[1] [2] [3] [4] [8] [11] [13] [14] [15] [16] [17] [19] [21] [24] [27] [32] [33]
7	David S. Goldberg	[15]
8	Paul T. Graunke	[7] [10] [12]
9	Kathryn E. Gray	[19]
10	Arjun Guha	[29]
11	Shu-yu Guo	[26]
12	Shriram Krishnamurthi	[1] [2] [4] [7] [8] [10] [11] [12] [29] [32]
13	George Kuan	[28]
14	Mario Latendresse	[6]
15	David MacQueen	[28]
16	Jacob Matthews	[12] [13] [25] [29] [30] [31]
17	Philippe Meunier	[18] [22]
18	Anne Rogers	[26]
19	Paul Steckler	[8] [18]
20	Philip Wadler	[34]
21	Mitchell Wand	[18]
22	Gang Yu	[27]

Colors in the list of coauthors