Robert Bruce Findler

Citat de

	Toate	Din 2020
Referințe bibliografice	6449	1470
h-index	41	19
i10-index	75	36

420

210

105

315

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

Acces public

Afișați-le pe toate

14 articole

0 articole

disponibile

indisponibile

Pe baza cerințelor privind finanțarea

Coautori

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

Urmăriți

Robert Bruce Findler

Alte numeRobby Findler

Northwestern University

Adresă de e-mail confirmată pe cs.northwestern.edu - Pagina de pornire

Racket Programming Languages contracts domain-specific language design


Titlu Sortați după descrierea bibliografică Sortați după an Sortați după titlu	Citat de Citat de	Anul
Contracts for higher-order functions RB Findler, M Felleisen ICFP 37 (9), 48-59, 2002	599	2002
How to design programs: an introduction to programming and computing M Felleisen, RB Findler, M Flatt, S Krishnamurthi The MIT Press, 2001	508	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	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	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	246*	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	118	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

Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.

Articole 1–20

Referințe bibliografice pe an

Citate duplicat

Citate fuzionate

Adăugați coautoriCoautori

Urmăriți

Citat de

Coautori