|
СТ |
Safe and Decidable Type Checking in an Object-Oriented Language |
1993 |
Bruce K. B., Crabtree J., Murtagh T. P., Van Gent R., Dimock A., Muller R. |
|
|
|
SIGPLAN Notices |
26.01.1994 |
|
СТ |
Strongly Typed Flow-Directed Representation Transformations |
1997 |
Dimock A., Muller R., Turbak F., Wells J. B. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
Program Representation Size in an Intermediate Language with Intersection and Union Types |
2001 |
Dimock A., Westmacott I., Muller R., Turbak F. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
