|
СТ |
Higher-Order Intensional Type Analysis |
2002 |
Weirich S. |
|
|
|
Lecture Notes in Computer Science |
08.05.2002 |
|
СТ |
Safe and Flexible Dynamic Linking of Native Code |
2001 |
Hicks M., Weirich S., Crary K. |
|
|
|
Lecture Notes in Computer Science |
27.07.2001 |
|
СТ |
Encoding Intensional Type Analysis |
2001 |
Weirich S. |
|
|
|
Lecture Notes in Computer Science |
28.04.2001 |
|
СТ |
Flexible Type Analysis |
1999 |
Crary K., Weirich S. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Intensional Polymorphism in Type-Erasure Semantics |
1999 |
Crary K., Weirich S., Morrisett G. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Catching Bugs in the Web of Program Invariants |
1996 |
Flanagan C., Flatt M., Krishnamurthi S., Weirich S., Felleisen M. |
|
|
|
SIGPLAN Notices |
16.10.1996 |
