共 25 条
[1]
[Anonymous], P 21 ACM SIGPLAN SIG
[2]
[Anonymous], 1996, POPL
[3]
Banerjee A., 2003, Mathematical Structures in Computer Science, V13, P87, DOI 10.1017/S0960129502003845
[4]
Damas Luis, 1982, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on the Principles of Programming Languages, DOI [10.1145/582153.582176, DOI 10.1145/582153.582176]
[6]
FAXEN KF, 1997, LECT NOTES COMPUTER, V1192, P260
[7]
Gustavsson J, 2001, LECT NOTES COMPUT SC, V2053, P63
[8]
HEINTZE N, 1994, ACM C LISP FUNCT PRO, P306
[9]
HENGLEIN F, 1994, LECT NOTES COMPUTER, V788, P287
[10]
Holdermans Stefan, 2010, P 10 WORKSH IN PRESS