Robert Bruce Findler 个人学术档案

引用次数

	总计	2019 年至今
引用	6336	1767
h 指数	40	19
i10 指数	72	34

420

210

105

315

1999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202418 32 55 105 122 146 162 196 181 243 281 283 288 330 300 314 366 349 332 325 415 300 298 261 301 192

开放获取的出版物数量

查看全部

13 篇文章

0 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

Matthew FlattProfessor, School of Computing, University of Utah在 cs.utah.edu 的电子邮件经过验证
Matthias FelleisenTrustee Professor of Computer Science, Northeastern University在 felleisen.org 的电子邮件经过验证
Shriram KrishnamurthiProfessor of Computer Science, Brown University在 cs.brown.edu 的电子邮件经过验证
Jay McCarthyAssociate Professor of Computer Science, UMass Lowell在 cs.uml.edu 的电子邮件经过验证
Sam Tobin-HochstadtAssociate Professor, Indiana University在 cs.indiana.edu 的电子邮件经过验证
John ClementsProfessor of Computer Science, Cal Poly State University在 calpoly.edu 的电子邮件经过验证
Christos DimoulasPLT @ Northwestern University在 northwestern.edu 的电子邮件经过验证
Cormac FlanaganProfessor of Computer Science, University of California Santa Cruz在 ucsc.edu 的电子邮件经过验证
Philip WadlerUniversity of Edinburgh and IOHK/IOG在 inf.ed.ac.uk 的电子邮件经过验证
Vincent St-AmourPLT @ Northwestern University在 eecs.northwestern.edu 的电子邮件经过验证
T. E. S. StricklandGoogle在 google.com 的电子邮件经过验证
Amal AhmedNortheastern University在 ccs.neu.edu 的电子邮件经过验证
Peter DindaProfessor of Computer Science, Northwestern University在 northwestern.edu 的电子邮件经过验证
Kevin TewAssistant Professor of Information Technology, Brigham Young University在 byu.edu 的电子邮件经过验证
Jon RafkindUniversity of Utah在 cs.utah.edu 的电子邮件经过验证
Matthias BlumeGoogle在 google.com 的电子邮件经过验证
Kathryn E. GrayUniversity of Cambridge在 cl.cam.ac.uk 的电子邮件经过验证
Jeremy G. SiekProfessor of Computer Science, Indiana University在 indiana.edu 的电子邮件经过验证
Arjun GuhaNortheastern University在 northeastern.edu 的电子邮件经过验证
David DaraisGalois, Inc.在 galois.com 的电子邮件经过验证

关注

Robert Bruce Findler

其他姓名Robby Findler

Northwestern University

在 cs.northwestern.edu 的电子邮件经过验证 - 首页

Racket Programming Languages contracts domain-specific language design


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
Contracts for higher-order functions RB Findler, M Felleisen ICFP 37 (9), 48-59, 2002	587	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	405	2009
Well-typed programs can’t be blamed P Wadler, RB Findler European Symposium on Programming, 1-16, 2009	337	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	337	2002
Operational semantics for multi-language programs J Matthews, RB Findler ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 1-44, 2009	264	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	236*	2011
Modular object-oriented programming with units and mixins RB Findler, M Flatt ICFP 34 (1), 94-104, 1998	220	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	208	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	145	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	117	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	113	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	112	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	105	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	104	2015
Contracts as pairs of projections RB Findler, M Blume International Symposium on Functional and Logic Programming, 226-241, 2006	93	2006
Modeling web interactions P Graunke, RB Findler, S Krishnamurthi, M Felleisen Programming Languages and Systems: 12th European Symposium on Programming …, 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	88	2004

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用