Robby Findler, Robert Bruce Findler

Cited by

	All	Since 2018
Citations	5914	1698
h-index	39	20
i10-index	68	35

420

210

105

315

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202320 34 50 104 127 143 152 193 176 243 277 289 279 325 301 314 371 353 332 338 410 302 281 264 101

Public access

View all

12 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
John ClementsProfessor of Computer Science, Cal Poly State UniversityVerified email at calpoly.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityVerified email at cs.indiana.edu
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzVerified email at ucsc.edu
Christos DimoulasPLT @ Northwestern UniversityVerified email at northwestern.edu
Philip WadlerUniversity of Edinburgh and IOHKVerified 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
Kathryn E. GrayUniversity of CambridgeVerified email at cl.cam.ac.uk
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityVerified email at indiana.edu
Arjun GuhaAssociate Professor at Northeastern University; Visiting Professor at Roblox ResearchVerified email at northeastern.edu
David DaraisGalois, Inc.Verified email at galois.com

Robby Findler, Robert Bruce 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	563	2002
How to design programs: an introduction to programming and computing M Felleisen, RB Findler, M Flatt, S Krishnamurthi The MIT Press, 2001	463	2001
Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009	379	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	325	2002
Well-typed programs can’t be blamed P Wadler, RB Findler Programming Languages and Systems: 18th European Symposium on Programming …, 2009	322	2009
Operational semantics for multi-language programs J Matthews, RB Findler ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 1-44, 2009	246	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	216*	2011
Modular object-oriented programming with units and mixins RB Findler, M Flatt ICFP 34 (1), 94-104, 1998	216	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	199	2009
Contract soundness for object-oriented languages RB Findler, M Felleisen ACM SIGPLAN Notices 36 (11), 1-15, 2001	154	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	137	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	127	1997
Behavioral contracts and behavioral subtyping RB Findler, M Latendresse, M Felleisen Proceedings of the 8th European software engineering conference held jointly …, 2001	112	2001
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	103	2011
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	94	2012
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	91	2015
Modeling web interactions P Graunke, RB Findler, S Krishnamurthi, M Felleisen Programming Languages and Systems: 12th European Symposium on Programming …, 2003	88	2003
Programming languages as operating systems (or revenge of the son of the lisp machine) M Flatt, RB Findler, S Krishnamurthi, M Felleisen ACM SIGPLAN Notices 34 (9), 138-147, 1999	87	1999
Contracts as pairs of projections RB Findler, M Blume Functional and Logic Programming: 8th International Symposium, FLOPS 2006 …, 2006	85	2006
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	82	2018

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