Robby Findler, Robert Bruce Findler

Cited by

	All	Since 2018
Citations	6082	1865
h-index	39	21
i10-index	71	38

420

210

105

315

199920002001200220032004200520062007200820092010201120122013201420152016201720182019202020212022202322 33 51 106 122 144 159 194 179 239 288 285 281 320 303 312 363 354 331 331 411 297 291 267 266

Public access

View all

13 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 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 GuhaNortheastern UniversityVerified 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	573	2002
How to design programs: an introduction to programming and computing M Felleisen, RB Findler, M Flatt, S Krishnamurthi The MIT Press, 2001	481	2001
Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009	393	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	331	2002
Well-typed programs can’t be blamed P Wadler, RB Findler European Symposium on Programming, 1-16, 2009	327	2009
Operational semantics for multi-language programs J Matthews, RB Findler ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 1-44, 2009	254	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	220*	2011
Modular object-oriented programming with units and mixins RB Findler, M Flatt ICFP 34 (1), 94-104, 1998	217	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	205	2009
Contract soundness for object-oriented languages RB Findler, M Felleisen ACM SIGPLAN Notices 36 (11), 1-15, 2001	155	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	139	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	128	1997
Behavioral contracts and behavioral subtyping RB Findler, M Latendresse, M Felleisen Proceedings of the 8th European software engineering conference held jointly …, 2001	115	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	106	2011
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	98	2018
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	98	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	96	2015
Modeling web interactions P Graunke, RB Findler, S Krishnamurthi, M Felleisen Programming Languages and Systems: 12th European Symposium on Programming …, 2003	89	2003
Contracts as pairs of projections RB Findler, M Blume International Symposium on Functional and Logic Programming, 226-241, 2006	87	2006
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	85	1999

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