Robert Cartwright
Affiliations: | Rice University, Houston, TX |
Area:
Computer ScienceGoogle:
"Robert Cartwright"Children
Sign in to add traineeJames 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 |