Robert Bruce Findler

Cited by

	All	Since 2020
Citations	6478	1488
h-index	41	19
i10-index	74	36

420

210

105

315

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 32 55 107 120 148 163 195 181 243 281 283 289 330 300 314 367 349 332 325 417 300 296 257 305 303 27

Public access

View all

14 articles

0 articles

available

not available

Based on funding mandates

Co-authors

Matthew FlattProfessor, School of Computing, University of UtahVerified email at cs.utah.edu
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityVerified email at felleisen.org
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityVerified email at cs.brown.edu
Jay McCarthyAssociate Professor of Computer Science, UMass LowellVerified email at cs.uml.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityVerified email at cs.indiana.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityVerified email at calpoly.edu
Christos DimoulasPLT @ Northwestern UniversityVerified email at northwestern.edu
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerified email at ucsc.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGVerified email at inf.ed.ac.uk
Vincent St-AmourPLT @ Northwestern UniversityVerified email at eecs.northwestern.edu
T. E. S. StricklandGoogleVerified email at google.com
Amal AhmedNortheastern UniversityVerified email at ccs.neu.edu
Peter DindaProfessor of Computer Science, Northwestern UniversityVerified email at northwestern.edu
Kevin TewAssistant Professor of Information Technology, Brigham Young UniversityVerified email at byu.edu
Jon RafkindUniversity of UtahVerified email at cs.utah.edu
Matthias BlumeGoogleVerified email at google.com
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Arjun GuhaNortheastern UniversityVerified email at northeastern.edu
David DaraisGalois, Inc.Verified email at galois.com

Robert Bruce Findler

Other namesRobby Findler

Northwestern University

Verified email at cs.northwestern.edu - Homepage

Racket Programming Languages contracts domain-specific language design


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Contracts for higher-order functions RB Findler, M Felleisen ICFP 37 (9), 48-59, 2002	600	2002
How to design programs: an introduction to programming and computing M Felleisen, RB Findler, M Flatt, S Krishnamurthi The MIT Press, 2001	522	2001
Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009	413	2009
Well-typed programs can’t be blamed P Wadler, RB Findler European Symposium on Programming, 1-16, 2009	345	2009
DrScheme: A programming environment for Scheme RB Findler, J Clements, C Flanagan, M Flatt, S Krishnamurthi, P Steckler, ... Journal of functional programming 12 (2), 159-182, 2002	341	2002
Operational semantics for multi-language programs J Matthews, RB Findler ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 1-44, 2009	271	2009
Blame for all A Ahmed, RB Findler, JG Siek, P Wadler Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	246*	2011
Modular object-oriented programming with units and mixins RB Findler, M Flatt ICFP 34 (1), 94-104, 1998	221	1998
Revised6 report on the algorithmic language Scheme M Sperber, RK Dybvig, M Flatt, A Van Straaten, R Findler, J Matthews Journal of Functional Programming 19 (S1), 1-301, 2009	209	2009
Contract soundness for object-oriented languages RB Findler, M Felleisen ACM SIGPLAN Notices 36 (11), 1-15, 2001	159	2001
Run your research: on the effectiveness of lightweight mechanization C Klein, J Clements, C Dimoulas, C Eastlund, M Felleisen, M Flatt, ... ACM SIGPLAN Notices 47 (1), 285-296, 2012	148	2012
DrScheme: A pedagogic programming environment for Scheme RB Findler, C Flanagan, M Flatt, S Krishnamurthi, M Felleisen Programming Languages: Implementations, Logics, and Programs: 9th …, 1997	129	1997
A programmable programming language M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ... Communications of the ACM 61 (3), 62-71, 2018	120	2018
Correct blame for contracts: no more scapegoating C Dimoulas, RB Findler, C Flanagan, M Felleisen Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2011	117	2011
Behavioral contracts and behavioral subtyping RB Findler, M Latendresse, M Felleisen Proceedings of the 8th European software engineering conference held jointly …, 2001	117	2001
The racket manifesto M Felleisen, RB Findler, M Flatt, S Krishnamurthi, E Barzilay, J McCarthy, ... 1st Summit on Advances in Programming Languages (SNAPL 2015), 2015	112	2015
Chaperones and impersonators: run-time support for reasonable interposition TS Strickland, S Tobin-Hochstadt, RB Findler, M Flatt ACM SIGPLAN Notices 47 (10), 943-962, 2012	105	2012
Contracts as pairs of projections RB Findler, M Blume International Symposium on Functional and Logic Programming, 226-241, 2006	93	2006
The TeachScheme! project: Computing and programming for every student M Felleisen, RB Findler, M Flatt, S Krishnamurthi Computer Science Education 14 (1), 55-77, 2004	91	2004
Modeling web interactions P Graunke, RB Findler, S Krishnamurthi, M Felleisen Programming Languages and Systems: 12th European Symposium on Programming …, 2003	90	2003

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors