Robert Cartwright
Affiliations: | Rice University, Houston, TX |
Area:
Computer ScienceGoogle:
"Robert Cartwright"Children
Sign in to add trainee| James Sasitorn | grad student | 2007 | Rice University |
| Mathias G. Ricken | grad student | 2011 | Rice University |
BETA: Related publications
See more...
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. |
| Barati S, Bartha FA, Biswas S, et al. (2019) Proteus: Language and Runtime Support for Self-Adaptive Software Development Ieee Software. 36: 73-82 |
| Smith D, Cartwright R. (2008) Java type inference is broken: can we fix it? Acm Sigplan Notices. 43: 505-524 |
| Sasitorn J, Cartwright R. (2007) Component NextGen: A sound and expressive component framework for java Proceedings of the Conference On Object-Oriented Programming Systems, Languages, and Applications, Oopsla. 153-170 |
| Sasitorn J, Cartwright R. (2007) Deriving components from genericity Proceedings of the Acm Symposium On Applied Computing. 1109-1116 |
| Allen EE, Cartwright R. (2006) Safe instantiation in Generic Java Science of Computer Programming. 59: 26-37 |
| Sasitorn J, Cartwright R. (2006) Efficient first-class generics on stock Java virtual machines Proceedings of the Acm Symposium On Applied Computing. 2: 1621-1628 |
| Cartwright R, Steele GL. (1998) Compatible Genericity with Run-time Types for the Java™ Programming Language Sigplan Notices (Acm Special Interest Group On Programming Languages). 33: 201-215 |
| Wright AK, Cartwright R. (1997) A Practical Soft Type System for Scheme Acm Transactions On Programming Languages and Systems. 19: 87-152 |
| Cartwright R, Felleisen M. (1996) Program verification through soft typing Acm Computing Surveys. 28: 349-351 |
| You JH, Cartwright R, Li M. (1996) Iterative belief revision in extended logic programming Theoretical Computer Science. 170: 383-406 |