关注
Robert Bruce Findler
Robert Bruce Findler
其他姓名Robby Findler
在 cs.northwestern.edu 的电子邮件经过验证 - 首页
标题
引用次数
引用次数
年份
Contracts for higher-order functions
RB Findler, M Felleisen
ICFP 37 (9), 48-59, 2002
5872002
How to design programs: an introduction to programming and computing
M Felleisen, RB Findler, M Flatt, S Krishnamurthi
The MIT Press, 2001
5092001
Semantics engineering with PLT Redex
M Felleisen, RB Findler, M Flatt
Mit Press, 2009
4052009
Well-typed programs can’t be blamed
P Wadler, RB Findler
European Symposium on Programming, 1-16, 2009
3372009
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
3372002
Operational semantics for multi-language programs
J Matthews, RB Findler
ACM Transactions on Programming Languages and Systems (TOPLAS) 31 (3), 1-44, 2009
2642009
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
2201998
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
2082009
Contract soundness for object-oriented languages
RB Findler, M Felleisen
ACM SIGPLAN Notices 36 (11), 1-15, 2001
1592001
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
1452012
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
1271997
Behavioral contracts and behavioral subtyping
RB Findler, M Latendresse, M Felleisen
Proceedings of the 8th European software engineering conference held jointly …, 2001
1172001
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
1132011
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
1122018
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
1052012
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
1042015
Contracts as pairs of projections
RB Findler, M Blume
International Symposium on Functional and Logic Programming, 226-241, 2006
932006
Modeling web interactions
P Graunke, RB Findler, S Krishnamurthi, M Felleisen
Programming Languages and Systems: 12th European Symposium on Programming …, 2003
902003
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
882004
系统目前无法执行此操作,请稍后再试。
文章 1–20