| 2008 |
|---|
| 45 | EE | Daniel Smith,
Robert Cartwright:
Java type inference is broken: can we fix it?
OOPSLA 2008: 505-524 |
| 2007 |
|---|
| 44 | EE | James Sasitorn,
Robert Cartwright:
Component nextgen: a sound and expressive component framework for java.
OOPSLA 2007: 153-170 |
| 43 | EE | James Sasitorn,
Robert Cartwright:
Deriving components from genericity.
SAC 2007: 1109-1116 |
| 2006 |
|---|
| 42 | EE | James Sasitorn,
Robert Cartwright:
Efficient first-class generics on stock Java virtual machines.
SAC 2006: 1621-1628 |
| 41 | EE | Eric E. Allen,
Robert Cartwright:
Safe instantiation in Generic Java.
Sci. Comput. Program. 59(1-2): 26-37 (2006) |
| 2005 |
|---|
| 40 | EE | James I. Hsia,
Elspeth Simpson,
Daniel Smith,
Robert Cartwright:
Taming Java for the classroom.
SIGCSE 2005: 327-331 |
| 2004 |
|---|
| 39 | EE | Eric E. Allen,
Robert Cartwright:
Safe instantiation in generic Java.
PPPJ 2004: 61-66 |
| 38 | EE | Charles Reis,
Robert Cartwright:
Taming a professional IDE for the classroom.
SIGCSE 2004: 156-160 |
| 2003 |
|---|
| 37 | EE | Eric E. Allen,
Jonathan Bannet,
Robert Cartwright:
A first-class approach to genericity.
OOPSLA 2003: 96-114 |
| 36 | EE | Charles Reis,
Robert Cartwright:
A friendly face for Eclipse.
OOPSLA Workshop on Eclipse Technology eXchange 2003: 25-29 |
| 35 | EE | Eric E. Allen,
Robert Cartwright,
Charles Reis:
Production programming in the classroom.
SIGCSE 2003: 89-93 |
| 2002 |
|---|
| 34 | | Eric E. Allen,
Robert Cartwright,
Brian Stoler:
Efficient Implementation of Run-time Generic Types for Java.
Generic Programming 2002: 207-236 |
| 33 | EE | Eric E. Allen,
Robert Cartwright:
The case for run-time types in generic Java.
PPPJ/IRE 2002: 19-24 |
| 32 | EE | Eric E. Allen,
Robert Cartwright,
Brian Stoler:
DrJava: a lightweight pedagogic environment for Java.
SIGCSE 2002: 137-141 |
| 1999 |
|---|
| 31 | EE | Matthias Felleisen,
Robert Cartwright:
Safety as a Metric.
CSEE&T 1999: 129-131 |
| 1998 |
|---|
| 30 | EE | Robert Cartwright,
Guy L. Steele Jr.:
Compatible Genericity with Run-Time Types for the Java Programming Language.
OOPSLA 1998: 201-215 |
| 1997 |
|---|
| 29 | EE | Andrew K. Wright,
Robert Cartwright:
A Practical Soft Type System for Scheme.
ACM Trans. Program. Lang. Syst. 19(1): 87-152 (1997) |
| 1996 |
|---|
| 28 | | Robert Cartwright,
Matthias Felleisen:
Program Verification Through Soft Typing.
ACM Comput. Surv. 28(2): 349-351 (1996) |
| 27 | EE | Jia-Huai You,
Robert Cartwright,
Ming Li:
Iterative Belief Revision in Extended Logic Programming.
Theor. Comput. Sci. 170(1-2): 383-406 (1996) |
| 1994 |
|---|
| 26 | EE | Andrew K. Wright,
Robert Cartwright:
A Practical Soft Type System for Scheme.
LISP and Functional Programming 1994: 250-262 |
| 25 | | Jia-Huai You,
Robert Cartwright:
Tractable Argumentation Semantics via Iterative Belief Revision.
SLP 1994: 239-253 |
| 24 | | Robert Cartwright,
Matthias Felleisen:
Extensible Denotational Language Specifications.
TACS 1994: 244-272 |
| 23 | | Robert Cartwright,
Pierre-Louis Curien,
Matthias Felleisen:
Fully Abstract Semantics for Observably Sequential Languages
Inf. Comput. 111(2): 297-401 (1994) |
| 1993 |
|---|
| 22 | | Ramarao Kanneganti,
Robert Cartwright:
What is a Universal Higher-Order Programming Language?
ICALP 1993: 682-695 |
| 1992 |
|---|
| 21 | | Robert Cartwright,
Matthias Felleisen:
Observable Sequentiality and Full Abstraction.
POPL 1992: 328-342 |
| 20 | | Ramarao Kanneganti,
Robert Cartwright,
Matthias Felleisen:
SPCF: Its Model, Calculus, and Computational Power (Preliminary Version).
REX Workshop 1992: 318-347 |
| 1991 |
|---|
| 19 | EE | Robert Cartwright,
Mike Fagan:
Soft typing (with retrospective)
Best of PLDI 1991: 412-428 |
| 18 | | Robert Cartwright,
Mike Fagan:
Soft Typing.
PLDI 1991: 278-292 |
| 1989 |
|---|
| 17 | | Robert Cartwright,
Matthias Felleisen:
The Semantics of Program Dependence.
PLDI 1989: 13-27 |
| 1988 |
|---|
| 16 | | Robert Cartwright,
Alan J. Demers:
The Topology of Program Termination
LICS 1988: 296-308 |
| 1986 |
|---|
| 15 | | Hans-Juergen Boehm,
Robert Cartwright,
Mark Riggle,
Michael J. O'Donnell:
Exact Real Arithmetic: A Case Study in Higher Order Programming.
LISP and Functional Programming 1986: 162-173 |
| 1985 |
|---|
| 14 | | Robert Cartwright:
Types as Intervals.
POPL 1985: 22-36 |
| 1984 |
|---|
| 13 | | Robert Cartwright:
Recursive Programs as Definitions in First Order Logic.
SIAM J. Comput. 13(2): 374-408 (1984) |
| 1983 |
|---|
| 12 | | Robert Cartwright:
Non-Standard Fixed Points in First Order Logic.
Logic of Programs 1983: 86-100 |
| 1982 |
|---|
| 11 | | Robert Cartwright,
James E. Donahue:
The Semantics of Lazy (and Industrious) Evaluation.
Symposium on LISP and Functional Programming 1982: 253- |
| 1981 |
|---|
| 10 | | Robert Cartwright:
Toward a Logical Thoery of Program Data.
Logic of Programs 1981: 37-51 |
| 9 | | Robert Cartwright:
Formal Program Testing.
POPL 1981: 125-132 |
| 8 | | Robert Cartwright,
Robert Hood,
Philip Mathews:
Paths: An Abstract Alternative to Pointers.
POPL 1981: 14-27 |
| 7 | | Robert Cartwright,
Derek C. Oppen:
The Logic of Aliasing.
Acta Inf. 15: 365-384 (1981) |
| 1980 |
|---|
| 6 | | Robert Cartwright:
A Constructive Alternative to Axiomatic Data Type Definitions.
LISP Conference 1980: 46-55 |
| 1979 |
|---|
| 5 | EE | Robert Cartwright,
John L. McCarthy:
First Order Programming Logic.
POPL 1979: 68-80 |
| 1978 |
|---|
| 4 | | Robert Cartwright,
John L. McCarthy:
Recursive programs as functions in a first order theory.
Mathematical Studies of Information Processing 1978: 576-629 |
| 3 | | Robert Cartwright,
Derek C. Oppen:
Unrestricted Procedure Calls in Hoare's Logic.
POPL 1978: 131-140 |
| 1976 |
|---|
| 2 | | Robert Cartwright:
A Practical Formal Semantic Definition and Verification System for TYPED LISP
Garland Publishing, New York 1976 |
| 1 | | Robert Cartwright:
User-Defined Data Types as an Aid to Verifying LISP Programs.
ICALP 1976: 228-256 |
