Robert Bruce Findler

Citée par

	Toutes	Depuis 2020
Citations	6479	1489
indice h	41	19
indice i10	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 304 27

Accès public

Tout afficher

14 articles

0 article

disponibles

non disponibles

Sur la base des exigences liées au financement

Coauteurs

Matthew FlattProfessor, School of Computing, University of UtahAdresse e-mail validée de cs.utah.edu
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityAdresse e-mail validée de felleisen.org
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityAdresse e-mail validée de cs.brown.edu
Jay McCarthyAssociate Professor of Computer Science, UMass LowellAdresse e-mail validée de cs.uml.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityAdresse e-mail validée de cs.indiana.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityAdresse e-mail validée de calpoly.edu
Christos DimoulasPLT @ Northwestern UniversityAdresse e-mail validée de northwestern.edu
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzAdresse e-mail validée de ucsc.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGAdresse e-mail validée de inf.ed.ac.uk
Vincent St-AmourPLT @ Northwestern UniversityAdresse e-mail validée de eecs.northwestern.edu
T. E. S. StricklandGoogleAdresse e-mail validée de google.com
Amal AhmedNortheastern UniversityAdresse e-mail validée de ccs.neu.edu
Peter DindaProfessor of Computer Science, Northwestern UniversityAdresse e-mail validée de northwestern.edu
Kevin TewAssistant Professor of Information Technology, Brigham Young UniversityAdresse e-mail validée de byu.edu
Jon RafkindUniversity of UtahAdresse e-mail validée de cs.utah.edu
Matthias BlumeGoogleAdresse e-mail validée de google.com
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityAdresse e-mail validée de indiana.edu
Kathryn E. GrayUniversity of CambridgeAdresse e-mail validée de cl.cam.ac.uk
Arjun GuhaNortheastern UniversityAdresse e-mail validée de northeastern.edu
David DaraisGalois, Inc.Adresse e-mail validée de galois.com

Suivre

Robert Bruce Findler

Autres nomsRobby Findler

Northwestern University

Adresse e-mail validée de cs.northwestern.edu - Page d'accueil

Racket Programming Languages contracts domain-specific language design


Titre Trier par citations Trier par année Trier par titre	Citée par Citée par	Année
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	523	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

Le système ne peut pas réaliser cette opération maintenant. Veuillez réessayer plus tard.

Articles 1–20

Nombre de citations par an

Citations en double

Citations fusionnées

Ajouter les coauteursCoauteurs

Suivre

Citée par

Coauteurs