Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications of "Robert Bruce Findler" ( http://dblp.L3S.de/Authors/Robert_Bruce_Findler )

URL (Homepage):  http://people.cs.uchicago.edu/~robby/  Author page on DBLP  Author page in RDF  Community of Robert Bruce Findler in ASPL-2

Publication years (Num. hits)
1997-2004 (17) 2005-2009 (18) 2010-2012 (7)
Publication types (Num. hits)
article(9) book(1) inproceedings(32)
Venues (Conferences, Journals, ...)
ICFP(7) OOPSLA(5) POPL(5) J. Funct. Program.(4) ESOP(3) APLAS(2) DLS(2) SIGPLAN Notices(2) ACM Trans. Program. Lang. Syst...(1) ASE(1) Autom. Softw. Eng.(1) ECOOP(1) ESEC / SIGSOFT FSE(1) FLOPS(1) Higher-Order and Symbolic Comp...(1) IFL(1) More (+10 of total 19)
Authors
Robert Bruce Findler(42) Matthew Flatt(22) Matthias Felleisen(20) Shriram Krishnamurthi(10) Jacob Matthews(6) Casey Klein(3) Cormac Flanagan(3) Paul T. Graunke(3) Christos Dimoulas(2) James Swaine(2) Jay A. McCarthy(2) John Clements(2) Kevin Tew(2) Paul Steckler(2) Peter A. Dinda(2) Philip Wadler(2) More (+10 of total 35)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 37 occurrences of 26 keywords
Results
Found 42 publication records. Showing 42 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Casey Klein, John Clements, Christos Dimoulas, Carl Eastlund, Matthias Felleisen, Matthew Flatt, Jay A. McCarthy, Jon Rafkind, Sam Tobin-Hochstadt, Robert Bruce Findler Run your research: on the effectiveness of lightweight mechanization. Search on Bibsonomy POPL The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
1Kevin Tew, James Swaine, Matthew Flatt, Robert Bruce Findler, Peter A. Dinda Places: adding message-passing parallelism to racket. Search on Bibsonomy DLS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Christos Dimoulas, Robert Bruce Findler, Cormac Flanagan, Matthias Felleisen Correct blame for contracts: no more scapegoating. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Amal Ahmed, Robert Bruce Findler, Jeremy G. Siek, Philip Wadler Blame for all. Search on Bibsonomy POPL The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1Casey Klein, Jay A. McCarthy, Steven Jaconette, Robert Bruce Findler A Semantics for Context-Sensitive Reduction Semantics. Search on Bibsonomy APLAS The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
1James Swaine, Kevin Tew, Peter A. Dinda, Robert Bruce Findler, Matthew Flatt Back to the futures: incremental parallelization of existing sequential runtime systems. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Casey Klein, Matthew Flatt, Robert Bruce Findler Random testing for higher-order, stateful programs. Search on Bibsonomy OOPSLA The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
1Jacob Matthews, Robert Bruce Findler Operational semantics for multi-language programs. Search on Bibsonomy ACM Trans. Program. Lang. Syst. The full citation details ... 2009 DBLP  DOI  BibTeX  RDF interoperability, Operational semantics
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt Semantics Engineering with PLT Redex. Search on Bibsonomy 2009   RDF
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi A functional I/O system or, fun for freshman kids. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF introductory programming
1Matthew Flatt, Eli Barzilay, Robert Bruce Findler Scribble: closing the book on ad hoc documentation tools. Search on Bibsonomy ICFP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF domain-specific languages, macros, metaprogramming
1Philip Wadler, Robert Bruce Findler Well-Typed Programs Can't Be Blamed. Search on Bibsonomy ESOP The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
1Jacob Matthews, Robert Bruce Findler An operational semantics for Scheme. Search on Bibsonomy J. Funct. Program. The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
1Arjun Guha, Jacob Matthews, Robert Bruce Findler, Shriram Krishnamurthi Relationally-parametric polymorphic contracts. Search on Bibsonomy DLS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF contracts, polymorphism, parametricity
1Jacob Matthews, Robert Bruce Findler Operational semantics for multi-language programs. Search on Bibsonomy POPL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF multi-language systems, interoperability, operational semantics
1Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen Adding delimited and composable control to a production programming environment. Search on Bibsonomy ICFP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Shu-yu Guo, Anne Rogers Lazy Contract Checking for Immutable Data Structures. Search on Bibsonomy IFL The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1George Kuan, David MacQueen, Robert Bruce Findler A Rewriting Semantics for Type Inference. Search on Bibsonomy ESOP The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler Scheme and Functional Programming 2006: paper abstracts. Search on Bibsonomy SIGPLAN Notices The full citation details ... 2006 DBLP  DOI  BibTeX  RDF SCHEME
1Robert Bruce Findler, Matthew Flatt Slideshow: functional presentations. Search on Bibsonomy J. Funct. Program. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippe Meunier, Robert Bruce Findler, Matthias Felleisen Modular set-based analysis from contracts. Search on Bibsonomy POPL The full citation details ... 2006 DBLP  DOI  BibTeX  RDF modular analysis, runtime contracts, static debugging, set-based analysis
1Robert Bruce Findler, Matthias Blume Contracts as Pairs of Projections. Search on Bibsonomy FLOPS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Robert Bruce Findler, Matthias Felleisen Scheme with Classes, Mixins, and Traits. Search on Bibsonomy APLAS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
1Philippe Meunier, Robert Bruce Findler, Paul Steckler, Mitchell Wand Selectors Make Set-Based Analysis Too Hard. Search on Bibsonomy Higher-Order and Symbolic Computation The full citation details ... 2005 DBLP  DOI  BibTeX  RDF program analysis, Scheme, static debugging, set-based analysis
1Kathryn E. Gray, Robert Bruce Findler, Matthew Flatt Fine-grained interoperability through mirrors and contracts. Search on Bibsonomy OOPSLA The full citation details ... 2005 DBLP  DOI  BibTeX  RDF Java, interoperability, contracts, scheme, mirrors
1Jacob Matthews, Robert Bruce Findler, Paul T. Graunke, Shriram Krishnamurthi, Matthias Felleisen Automatically Restructuring Programs for the Web. Search on Bibsonomy Autom. Softw. Eng. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF lambda lifting, Web programming, continuation-passing style, CGI, closure conversion
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi The structure and interpretation of the computer science curriculum. Search on Bibsonomy J. Funct. Program. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Robert Bruce Findler Kill-safe synchronization abstractions. Search on Bibsonomy PLDI The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Jacob Matthews, Robert Bruce Findler, Matthew Flatt, Matthias Felleisen A Visual Environment for Developing Context-Sensitive Term Rewriting Systems. Search on Bibsonomy RTA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthew Flatt Slideshow: functional presentations. Search on Bibsonomy ICFP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1David S. Goldberg, Robert Bruce Findler, Matthew Flatt Super and inner: together at last! Search on Bibsonomy OOPSLA The full citation details ... 2004 DBLP  DOI  BibTeX  RDF inner, override, super, inheritance, augment
1Robert Bruce Findler, Matthew Flatt, Matthias Felleisen Semantic Casts: Contracts and Structural Subtyping in a Nominal World. Search on Bibsonomy ECOOP The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
1Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Modeling Web Interactions. Search on Bibsonomy ESOP The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, John Clements, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Paul Steckler, Matthias Felleisen DrScheme: a programming environment for Scheme. Search on Bibsonomy J. Funct. Program. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthias Felleisen Contracts for higher-order functions. Search on Bibsonomy ICFP The full citation details ... 2002 DBLP  DOI  BibTeX  RDF predicate typing, solfware reliability, contracts, behavioral specifications, higher-order functions
1Paul T. Graunke, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Automatically Restructuring Programs for the We. Search on Bibsonomy ASE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthias Felleisen Contract Soundness for Object-Oriented Languages. Search on Bibsonomy OOPSLA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Mario Latendresse, Matthias Felleisen Behavioral contracts and behavioral subtyping. Search on Bibsonomy ESEC / SIGSOFT FSE The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
1Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). Search on Bibsonomy ICFP The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
1Matthias Felleisen, Robert Bruce Findler, Matthew Flatt, Shriram Krishnamurthi The DrScheme Project: An Overview. Search on Bibsonomy SIGPLAN Notices The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Matthew Flatt Modular Object-Oriented Programming with Units and Mixins. Search on Bibsonomy ICFP The full citation details ... 1998 DBLP  DOI  BibTeX  RDF
1Robert Bruce Findler, Cormac Flanagan, Matthew Flatt, Shriram Krishnamurthi, Matthias Felleisen DrScheme: A Pedagogic Programming Environment for Scheme. Search on Bibsonomy PLILP The full citation details ... 1997 DBLP  DOI  BibTeX  RDF Algebraic Evaluation, Teaching programming to beginning students, Programming, Programming Environments, Pedagogy, Scheme, Static Debugging
Displaying result #1 - #42 of 42 (100 per page; Change: )
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.