Search the dblp DataBase

Publications of Author

1. Matthew Flatt, Robert Bruce Findler, Matthias Felleisen
   Scheme with Classes, Mixins, and Traits. [Citation Graph (0, 0)][DBLP]
   APLAS, 2006, pp:270-289 [Conf]
   
2. Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
   Semantic Casts: Contracts and Structural Subtyping in a Nominal World. [Citation Graph (0, 0)][DBLP]
   ECOOP, 2004, pp:364-388 [Conf]
   
3. Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
   Modeling Web Interactions. [Citation Graph (0, 0)][DBLP]
   ESOP, 2003, pp:238-252 [Conf]
   
4. Robert Bruce Findler, Matthias Blume
   Contracts as Pairs of Projections. [Citation Graph (0, 0)][DBLP]
   FLOPS, 2006, pp:226-241 [Conf]
   
5. Robert Bruce Findler, Matthias Felleisen
   Contracts for higher-order functions. [Citation Graph (0, 0)][DBLP]
   ICFP, 2002, pp:48-59 [Conf]
   
6. Robert Bruce Findler, Matthew Flatt
   Slideshow: functional presentations. [Citation Graph (0, 0)][DBLP]
   ICFP, 2004, pp:224-235 [Conf]
   
7. Robert Bruce Findler, Matthew Flatt
   Modular Object-Oriented Programming with Units and Mixins. [Citation Graph (0, 0)][DBLP]
   ICFP, 1998, pp:94-104 [Conf]
   
8. Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
   Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). [Citation Graph (0, 0)][DBLP]
   ICFP, 1999, pp:138-147 [Conf]
   
9. Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen
   Automatically Restructuring Programs for the We. [Citation Graph (0, 0)][DBLP]
   ASE, 2001, pp:211-222 [Conf]
   
10. Robert Bruce Findler, Matthias Felleisen
    Contract Soundness for Object-Oriented Languages. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2001, pp:1-15 [Conf]
    
11. David S. Goldberg, Robert Bruce Findler, Matthew Flatt
    Super and inner: together at last! [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2004, pp:116-129 [Conf]
    
12. Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt
    Fine-grained interoperability through mirrors and contracts. [Citation Graph (0, 0)][DBLP]
    OOPSLA, 2005, pp:231-245 [Conf]
    
13. Matthew Flatt, Robert Bruce Findler
    Kill-safe synchronization abstractions. [Citation Graph (0, 0)][DBLP]
    PLDI, 2004, pp:47-58 [Conf]
    
14. Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen
    DrScheme: A Pedagogic Programming Environment for Scheme. [Citation Graph (0, 0)][DBLP]
    PLILP, 1997, pp:369-388 [Conf]
    
15. Philippe Meunier, Robert Bruce Findler, Matthias Felleisen
    Modular set-based analysis from contracts. [Citation Graph (0, 0)][DBLP]
    POPL, 2006, pp:218-231 [Conf]
    
16. Jacob Matthews, Robert Bruce Findler
    Operational semantics for multi-language programs. [Citation Graph (0, 0)][DBLP]
    POPL, 2007, pp:3-10 [Conf]
    
17. Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen
    A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. [Citation Graph (0, 0)][DBLP]
    RTA, 2004, pp:301-311 [Conf]
    
18. Robert Bruce Findler, Mario Latendresse, Matthias Felleisen
    Behavioral contracts and behavioral subtyping. [Citation Graph (0, 0)][DBLP]
    ESEC / SIGSOFT FSE, 2001, pp:229-236 [Conf]
    
19. Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen
    Automatically Restructuring Programs for the Web. [Citation Graph (0, 0)][DBLP]
    Autom. Softw. Eng., 2004, v:11, n:4, pp:337-364 [Journal]
    
20. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
    The structure and interpretation of the computer science curriculum. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2004, v:14, n:4, pp:365-378 [Journal]
    
21. Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen
    DrScheme: a programming environment for Scheme. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2002, v:12, n:2, pp:159-182 [Journal]
    
22. Robert Bruce Findler, Matthew Flatt
    Slideshow: functional presentations. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2006, v:16, n:4-5, pp:583-619 [Journal]
    
23. Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand
    Selectors Make Set-Based Analysis Too Hard. [Citation Graph (0, 0)][DBLP]
    Higher-Order and Symbolic Computation, 2005, v:18, n:3-4, pp:245-269 [Journal]
    
24. Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi
    The DrScheme Project: An Overview. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 1998, v:33, n:6, pp:17-23 [Journal]
    
25. Robert Bruce Findler
    Scheme and Functional Programming 2006: paper abstracts. [Citation Graph (0, 0)][DBLP]
    SIGPLAN Notices, 2006, v:41, n:8, pp:6-9 [Journal]
    
26. George Kuan, David MacQueen, Robert Bruce Findler
    A Rewriting Semantics for Type Inference. [Citation Graph (0, 0)][DBLP]
    ESOP, 2007, pp:426-440 [Conf]
    
27. Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen
    Adding delimited and composable control to a production programming environment. [Citation Graph (0, 0)][DBLP]
    ICFP, 2007, pp:165-176 [Conf]
    
28. 
    Well-Typed Programs Can't Be Blamed. [Citation Graph (, )][DBLP]
    
    
29. 
    A functional I/O system or, fun for freshman kids. [Citation Graph (, )][DBLP]
    
    
30. 
    Scribble: closing the book on ad hoc documentation tools. [Citation Graph (, )][DBLP]
    
    
31. 
    Lazy Contract Checking for Immutable Data Structures. [Citation Graph (, )][DBLP]
    
    
32. 
    Relationally-parametric polymorphic contracts. [Citation Graph (, )][DBLP]