|
СТ |
A Brief Introduction to Regions |
1999 |
Tofte M. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
A Region Inference Algorithm |
1998 |
Tofte M., Birkedal L. |
|
|
|
ACM Trans. on Programming Languages and Systems |
21.06.1999 |
|
СТ |
Essentials of Standard ML Modules |
1996 |
Tofte M. |
Lecture Notes in Computer Science |
|
|
Advanced Functional Programming |
11.10.1996 |
|
СТ |
Region Inference for Higher-Order Functional Languages |
1995 |
Tofte M. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
A Semantics for Higher-order Functors |
1994 |
Macqueen D. B., Tofte M. |
|
|
|
Lecture Notes in Computer Science |
13.05.1994 |
|
П |
The Definition of Standart ML Version 3 |
1989 |
Harper R., Milner R., Tofte M. |
|
|
Univ.Edinburgh |
|
05.06.1992 |
|
П |
Co-induction in Relational Semantics |
1989 |
Milner R., Tofte M. |
|
|
Univ.Edinburgh |
|
13.02.1991 |
