|
СТ |
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 |
|
СТ |
Faithful Translations between Polyvariant Flows and Polymorphic Types |
2000 |
Amtoft T., Turbak F. |
|
|
|
Lecture Notes in Computer Science |
25.04.2000 |
|
СТ |
Strongly Typed Flow-Directed Representation Transformations |
1997 |
Dimock A., Muller R., Turbak F., Wells J. B. |
|
|
|
SIGPLAN Notices |
01.10.1997 |
|
СТ |
First-Class Synchronozation Barriers |
1996 |
Turbak F. |
|
|
|
SIGPLAN Notices |
11.09.1996 |
