The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Robert Bruce Findler: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 1.088secs, Finished in 1.090secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002