|
СТ |
Compatible Genericity with Run-time Types for the JavaTM Programming Language |
1998 |
Cartwright R., Steele G. L. |
|
|
|
SIGPLAN Notices |
23.04.1999 |
|
СТ |
Tractable Argumentation Semantics via Iterative Belief Revision |
1994 |
You J. -H., Cartwright R. |
|
|
|
Logic Programming. Proc. of the 1994 Intern. Symp. |
30.01.1996 |
|
СТ |
A Practical Soft Type System for Scheme |
1994 |
Wright A. K., Cartwright R. |
|
|
|
LISP Pointers |
16.01.1995 |
|
СТ |
Extensible Denotational Language Specifications |
1994 |
Cartwright R., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
30.04.1994 |
|
СТ |
SPCF: Its Model, Calculus, and Computational Power |
1993 |
Kanneganti R., Cartwright R., Felleisen M. |
|
|
|
Lecture Notes in Computer Science |
11.06.1993 |
|
СТ |
Recursive Programs as Definitions in First Order Logic |
1984 |
Cartwright R. |
|
|
|
SIAM J. Comput. |
04.06.1992 |
