Robert B. Findler, Ph.D.

Affiliations: 
2002 Rice University, Houston, TX 
Area:
Computer Science
Google:
"Robert Findler"

Parents

Sign in to add mentor
Matthias Felleisen grad student 2002 Rice University
 (Behavioral software contracts.)
BETA: Related publications

Publications

You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Greenman BEN, Takikawa ASUMU, New MS, et al. (2019) How to evaluate the performance of gradual type systems Journal of Functional Programming. 29
Florence SP, Fetscher B, Flatt M, et al. (2018) POP-PL: A Patient-Oriented Prescription Programming Language Acm Transactions On Programming Languages and Systems. 40: 10
Felleisen M, Findler RB, Flatt M, et al. (2018) A programmable programming language Communications of the Acm. 61: 62-71
New MS, Fetscher B, Findler RB, et al. (2017) Fair enumeration combinators Journal of Functional Programming. 27
Florence SP, Fetscher B, Flatt M, et al. (2016) POP-PL: a patient-oriented prescription programming language Sigplan Notices. 51: 131-140
McCarthy J, Fetscher B, New M, et al. (2016) A coq library for internal verification of running-times Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9613: 144-162
Felleisen M, Findler RB, Flatt M, et al. (2015) The racket manifesto Leibniz International Proceedings in Informatics, Lipics. 32: 113-128
Takikawa A, Feltey D, Dean E, et al. (2015) Towards practical gradual typing Leibniz International Proceedings in Informatics, Lipics. 37: 4-27
Fetscher B, Claessen K, Pałka M, et al. (2015) Making random judgments: Automatically generating well-typed terms from the definition of a type-system Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). 9032: 383-405
Findler RB. (2014) Behavioral software contracts Proceedings of the Acm Sigplan International Conference On Functional Programming, Icfp. 137-138
See more...