|
СТ |
Simple Relational Correctness Proofs for Static Analyses and Program Transformations |
2004 |
Benton N. |
|
|
SIGACT, SIGPLAN |
POPL 2004 |
08.06.2004 |
|
СТ |
Monads and Effects |
2002 |
Benton N., Hughes J., Moggi E. |
|
|
|
Lecture Notes in Computer Science |
26.10.2002 |
|
СТ |
Interlanguage Working without Tears: Blending SML with Java |
1999 |
Benton N., Kennedy A. |
|
|
|
SIGPLAN Notices |
20.12.1999 |
|
СТ |
Compiling Standard ML to Java Bytecodes |
1999 |
Benton N., Kennedy A., Russell G. |
|
|
|
SIGPLAN Notices |
23.08.1999 |
|
СТ |
Linear -Calculus and Categorical Models Revisited |
1993 |
Benton N., Bierman G., De Paiva V., Hyland M. |
|
|
|
Lecture Notes in Computer Science |
06.11.1993 |
