Robert Bruce Findler

Citada per

	Totes	Des de 2020
Citacions	6457	1478
Índex h	41	19
Índex i10	75	36

420

210

105

315

19992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202518 31 54 110 118 145 163 196 182 240 280 281 287 332 295 317 370 350 331 323 413 292 290 259 297 302 38

Accés públic

Mostra-ho tot

14 articles

0 articles

disponibles

no disponibles

Es basa en els requisits de les agències que proporcionen el finançament

Coautors

Matthew FlattProfessor, School of Computing, University of UtahCorreu electrònic verificat a cs.utah.edu
Matthias FelleisenTrustee Professor of Computer Science, Northeastern UniversityCorreu electrònic verificat a felleisen.org
Shriram KrishnamurthiProfessor of Computer Science, Brown UniversityCorreu electrònic verificat a cs.brown.edu
Jay McCarthyAssociate Professor of Computer Science, UMass LowellCorreu electrònic verificat a cs.uml.edu
Sam Tobin-HochstadtAssociate Professor, Indiana UniversityCorreu electrònic verificat a cs.indiana.edu
John ClementsProfessor of Computer Science, Cal Poly State UniversityCorreu electrònic verificat a calpoly.edu
Christos DimoulasPLT @ Northwestern UniversityCorreu electrònic verificat a northwestern.edu
Cormac FlanaganProfessor of Computer Science, University of California Santa CruzCorreu electrònic verificat a ucsc.edu
Philip WadlerUniversity of Edinburgh and IOHK/IOGCorreu electrònic verificat a inf.ed.ac.uk
Vincent St-AmourPLT @ Northwestern UniversityCorreu electrònic verificat a eecs.northwestern.edu
T. E. S. StricklandGoogleCorreu electrònic verificat a google.com
Amal AhmedNortheastern UniversityCorreu electrònic verificat a ccs.neu.edu
Peter DindaProfessor of Computer Science, Northwestern UniversityCorreu electrònic verificat a northwestern.edu
Kevin TewAssistant Professor of Information Technology, Brigham Young UniversityCorreu electrònic verificat a byu.edu
Jon RafkindUniversity of UtahCorreu electrònic verificat a cs.utah.edu
Matthias BlumeGoogleCorreu electrònic verificat a google.com
Jeremy G. SiekProfessor of Computer Science, Indiana UniversityCorreu electrònic verificat a indiana.edu
Kathryn E. GrayUniversity of CambridgeCorreu electrònic verificat a cl.cam.ac.uk
Arjun GuhaNortheastern UniversityCorreu electrònic verificat a northeastern.edu
David DaraisGalois, Inc.Correu electrònic verificat a galois.com

Segueix

Robert Bruce Findler

Altres nomsRobby Findler

Northwestern University

Correu electrònic verificat a cs.northwestern.edu - Pàgina d'inici

Racket Programming Languages contracts domain-specific language design


Títol Ordena per cites Ordena per any Ordena per títol	Citada per Citada per	Any
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	509	2001
Semantics engineering with PLT Redex M Felleisen, RB Findler, M Flatt Mit Press, 2009	412	2009
Well-typed programs can’t be blamed P Wadler, RB Findler European Symposium on Programming, 1-16, 2009	344	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	342	2002
Operational semantics for multi-language programs J Matthews, RB Findler ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 1-44, 2009	274	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	247*	2011
Modular object-oriented programming with units and mixins RB Findler, M Flatt ICFP 34 (1), 94-104, 1998	225	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	210	2009
Contract soundness for object-oriented languages RB Findler, M Felleisen ACM SIGPLAN Notices 36 (11), 1-15, 2001	158	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	146	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
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	119	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	116	2011
Behavioral contracts and behavioral subtyping RB Findler, M Latendresse, M Felleisen Proceedings of the 8th European software engineering conference held jointly …, 2001	116	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), 113-128, 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	92	2006
Modeling web interactions P Graunke, RB Findler, S Krishnamurthi, M Felleisen European Symposium on Programming, 238-252, 2003	90	2003
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	89	2004

En aquests moments el sistema no pot dur a terme l'operació. Torneu-ho a provar més tard.

Articles 1–20

Cites per any

Cites duplicades

Cites combinades

Addició de coautorsCoautors

Segueix

Citada per

Coautors