共 36 条
[1]
[Anonymous], 1990, IFIP TC 2 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel
[2]
Appel AndrewW., 2000, P 27 ACM SIGPLAN SIG, P243
[3]
ASPINALL D, 2002, P ESOP 2002 EUR S PR
[4]
BAKER HG, 1992, SIGPLAN NOTICES, V27, P89, DOI 10.1145/142137.142162
[5]
Banerjee A., 1999, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), P88, DOI 10.1109/LICS.1999.782594
[6]
CRARY K, 1999, P INT C AUT LANG PRO, P40
[7]
Crary K., 2000, P 27 ACM S PRINC PRO, P184
[9]
HARPER R, 1995, P 22 ACM S PRINC PRO, P130
[10]
Hofman M., 2000, Nordic Journal of Computing, V7, P258