- Scheme with Classes, Mixins, and Traits Matthew Flatt1, Robert Bruce Findler2, and Matthias Felleisen3
- Slideshow: Functional Presentations Robert Bruce Findler
- JFP 19 (Supplement): 1301, August 2009. c 2009 Cambridge University Press doi:10.1017/S0956796809990074 Printed in the United Kingdom
- Selectors Make SetBased Analysis Too Hard Philippe Meunier, Robert Bruce Findler + , Paul Steckler and Mitchell
- A Functional I/O System or, Fun for Freshman Kids
- To appear in J. Functional Programming 1 Slideshow: Functional Presentations
- Relationally-Parametric Polymorphic Contracts Brown University
- Modular Abstract Interpreters Robby Findler
- The Structure and Interpretation of the Computer Science Curriculum
- Super and Inner --Together at Last! David S. Goldberg
- The TeachScheme! Project: Computing and Programming for Every Student
- Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler
- Operational Semantics for Multi-Language Programs Jacob Matthews
- A Visual Environment for Developing Context-Sensitive Term Rewriting Systems1
- RICE UNIVERSITY Behavioral Software Contracts
- Contracts for Higher-Order Functions Robert Bruce Findler1
- The Design of a Functional Image Library Ian Barland
- Randomized Testing in PLT Redex Casey Klein
- Scribble: Closing the Book on Ad Hoc Documentation Tools Matthew Flatt
- Cycles without pollution: a gradual typing poem Sam Tobin-Hochstadt1
- Well-typed programs can't be blamed Philip Wadler
- A Rewriting Semantics for Type Inference George Kuan, David MacQueen, and Robert Bruce Findler
- Contracts as Pairs of Projections Robert Bruce Findler, University of Chicago
- Fine-Grained Interoperability through Mirrors and Contracts
- Semantic Casts Contracts and Structural Subtyping in a Nominal World
- Contracts for Higher-Order Functions Robert Bruce Findler1
- Selectors Make Set-Based Analysis Too Hard Philippe Meunier, Robert Bruce Findler, Paul Steckler and Mitchell
- The TeachScheme! Project: Computing and Programming for Every Student
- Automatically Restructuring Programs for the Web Jacob Matthews (jacobm@cs.uchicago.edu)
- RICE UNIVERSITY Behavioral Software Contracts
- To appear in J. Functional Programming 1 Slideshow: Functional Presentations
- Well-typed programs can't be blamed Philip Wadler Robert Bruce Findler
- Modeling Web Interactions and Errors Shriram Krishnamurthi1
- Contracts for HigherOrder Functions Robert Bruce Findler 1 Matthias Felleisen
- Random Testing for Higher-Order, Stateful Programs Casey Klein
- Modular Set-Based Analysis from Contracts Philippe Meunier
- Contracts for HigherOrder Functions Robert Bruce Findler 1 Matthias Felleisen
- Exploring Circuit Timing-aware Languages and Compilation Giang Hoang Robert Bruce Findler Russ Joseph
- Lazy Contract Checking for Immutable Data Structures Robert Bruce Findler, Shu-yu Guo, and Anne Rogers
- Correct Blame for Contracts No More Scapegoating
- Adding Delimited and Composable Control to a Production Programming Environment
- Operational Semantics for Multi-Language Programs Jacob Matthews Robert Bruce Findler
- The Structure and Interpretation of the Computer Science Curriculum
- An operational semantics for R5 Jacob Matthews
