Robby Findler's Publications (sorted by venue)sorted by year | with selected abstractsInternational Conference on Functional Programming (ICFP) | Adding Delimited and Composable Control to a Production Programming Environment
Flatt, Yu, Findler, Felleisen
International Conference on Functional Programming (ICFP) 165-176 2007
pdf redex model |
| | Slideshow: Functional Presentations
Findler, Flatt
International Conference on Functional Programming (ICFP) 224-235 2004
pdf |
| | Contracts for Higher-Order Functions
Findler, Felleisen
International Conference on Functional Programming (ICFP) 48-59 2002
expanded techreport version: pdf ps; original ICFP version (with corrections): pdf ps; abstract |
| | Programming Languages as Operating Systems (or, Revenge of the Son of the Lisp Machine)
Flatt, Findler, Krishnamurthi, and Felleisen
International Conference on Functional Programming (ICFP) 138-147 1999
download abstract |
| | Modular Object-Oriented Programming with Units and Mixins
Findler, Flatt
International Conference on Functional Programming (ICFP) 94-104 1998
download abstract |
|
Journal of Functional Programming (JFP) | An Operational Semantics for Scheme
Matthews, Findler
Journal of Functional Programming (JFP) 18(1): 47-86 2008
details abstract |
| | | | The Structure and Interpretation of the Computer Science Curriculum
Felleisen, Findler, Flatt, Krishnamurthi
Journal of Functional Programming (JFP) 14(4): 365-37 2004
download |
| | DrScheme: A Programming Environment for Scheme
Findler, Clements, Flanagan, Flatt, Krishnamurthi, Steckler, and Felleisen
Journal of Functional Programming (JFP) 12(2) March 2002
download abstract |
|
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) | Fine-Grained Interoperability through Contracts and Mirrors
Gray, Findler, Flatt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 231-246 2005
pdf |
| | Super and Inner - Together at Last!
Goldberg, Findler, Flatt
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 116-129 2004
pdf model, in PLT Redex |
| | Contract Soundness for Object-Oriented Languages
Findler, Felleisen
Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA) 1-15 2001
download abstract |
|
European Symposium on Programming (ESOP) | A Rewriting Semantics for Type Inference
Kuan, MacQueen, Findler
European Symposium on Programming (ESOP) 426-440 2007
pdf |
| | Modeling Web Interactions
Graunke, Findler, Krishnamurthi, Felleisen
European Symposium on Programming (ESOP) 238-252 2003
ps.gz pdf |
|
Symposium on Principles of Programming Languages (POPL) | Operational Semantics for Multi-Language Programs
Matthews, Findler
Symposium on Principles of Programming Languages (POPL) 3-10 2007
color pdf b&w pdf abstract |
| | Modular Set-Based Analysis from Contracts
Meunier, Findler, Felleisen
Symposium on Principles of Programming Languages (POPL) 218-231 2006
pdf |
|
Workshop on Scheme and Functional Programming | Well-typed programs can’t be blamed
Wadler, Findler
Workshop on Scheme and Functional Programming 15-26 2007
pdf |
| | An Operational Semantics for R5RS Scheme
Matthews, Findler
Workshop on Scheme and Functional Programming 41-54 2005
pdf |
|
Transactions on Programming Languages and Systems (TOPLAS) | Operational Semantics for Multi-Language Programs
Matthews, Findler
Transactions on Programming Languages and Systems (TOPLAS) to appear 2009
pdf |
|
Dynamic Languages Symposium (DLS) | Relationally-Parametric Polymorphic Contracts
Guha, Matthews, Findler, Krishnamurthi
Dynamic Languages Symposium (DLS) 29-40 2007
pdf |
|
International Symposium on Implementation and Application of Functional Languages (IFL) | Lazy Contract Checking for Immutable Data Structures
Findler, Guo, and Rogers
International Symposium on Implementation and Application of Functional Languages (IFL) 2007
pdf abstract |
|
Asian Symposium on Programming Languages and Systems (APLAS) | Scheme with Classes, Mixins, and Traits
Flatt, Findler, Felleisen
Asian Symposium on Programming Languages and Systems (APLAS) 270-289 2006
pdf abstract |
|
Interactive Computation: The New Paradigm | Modeling Web Interactions and Errors
Krishnamurthi, Findler, Graunke, Felleisen
Interactive Computation: The New Paradigm 255-276 2006
pdf book chapter |
|
International Symposium on Functional and Logic Programming (FLOPS)Journal of Higher-Order and Symbolic Computing (HOSC) | Selectors Make Set-based Analysis too Hard
Meunier, Findler, Steckler, Wand
Journal of Higher-Order and Symbolic Computing (HOSC) 18(3-4) 245-269 December 2005
pdf ps.gz publisher's site |
|
Automated Software Engineering, an International Journal (ASEj) | Automatically Restructing Programs for the Web
Matthews, Findler, Graunke, Krishnamurthi, Felleisen
Automated Software Engineering, an International Journal (ASEj) 11(4): 337-364, October 2004
pdf from the publisher |
|
Computer Science Education (CSE) | The TeachScheme! Project: Computing and Programming for Every Student
Felleisen, Findler, Flatt, Krishnamurthi
Computer Science Education (CSE) March 2004
pdf ps.gz from the publisher |
|
European Conference for Object-Oriented Programming (ECOOP) | Semantic Casts: Contracts and Structural Subtyping in a Nominal World
Findler, Flatt, Felleisen
European Conference for Object-Oriented Programming (ECOOP) 364-388 2004
pdf abstract |
|
International Conference on Rewriting Techniques and Applications (RTA) | A Visual Environment for Developing Context-Sensitive Term Rewriting Systems
Matthews, Findler, Flatt, Felleisen
International Conference on Rewriting Techniques and Applications (RTA) 301-312 2004
pdf |
|
Programming Language Design and Implementation (PLDI) | Kill-Safe Synchronization Abstractions
Flatt, Findler
Programming Language Design and Implementation (PLDI) 47-58 2004
online |
|
Functional and Declarative Programming in Education (FDPE) | The Structure and Interpretation of the Computer Science Curriculum
Felleisen, Findler, Flatt, Krishnamurthi
Functional and Declarative Programming in Education (FDPE) 21-26 2002
pdf ps |
|
Automated Software Engineering (ASE) | Automatically Restructuring Programs for the Web
Graunke, Findler, Krishnamurthi, Felleisen
Automated Software Engineering (ASE) 211-222 2001
download |
|
Foundations of Software Engineering (FSE) | Behavioral Contracts and Behavioral Subtyping
Findler, Latendresse, Felleisen
Foundations of Software Engineering (FSE) 229-236 2001
download abstract |
|
Programming Languages: Implementations, Logics, and Programs (PLILP) | DrScheme: A Pedagogic Programming Environment for Scheme
Findler, Flanagan, Flatt, Krishnamurthi, Felleisen
Programming Languages: Implementations, Logics, and Programs (PLILP) 369-388 1997
download |
|
Genomics | Rapid construction of integrated maps using inner product mapping: YAC coverage of human chromosome 11
Perlin, M.W., Duggan, D.J., Davis, K., Farr, J.E., Findler, R.B., Higgins, M.J., Nowak, N.J., Evans, G.A., Qin, S., Zhang, J., Shows, T.B., James, M.R., and Richard III, C.W.
Genomics 28(2): 315-327 1995
download |
|
Undergraduate Senior Thesis | Modular Abstract Interpreters
Findler
Undergraduate Senior Thesis 1995
pdf |
|
Rice University Computer Science Technical Report | Behavioral Software Contracts (dissertation)
Findler
Rice University Computer Science Technical Report TR02-402 June 2002
pdf ps |
| | Object-oriented Programming Languages Need Well-founded Contracts
Findler, Latendresse, and Felleisen
Rice University Computer Science Technical Report TR01-372 January 2001
download |
| | Behavioral Interface Contracts for Java
Findler, Felleisen
Rice University Computer Science Technical Report TR00-366 August 2000
download |
|
University of Chicago Computer Science Technical Report | An Investigation of Contracts as Projections
Finder, Blume, Felleisen
University of Chicago Computer Science Technical Report TR-2004-02 2004
from uc abstract |
|
Dr. Dobb's Journal (DDJ) | Building Little Languages with Macros
Felleisen, Findler, Flatt, Krishnamurthi
Dr. Dobb's Journal (DDJ) April 2004
from www.ddj.org |
| | Fostering Little Languages
Clements, Felleisen, Findler, Flatt, Krishnamurthi
Dr. Dobb's Journal (DDJ) March 2004
from www.ddj.org |
|
|