![]() | ![]() |
2000 | ||
---|---|---|
2 | EE | Christopher Colby, Peter Lee, George C. Necula, Fred Blau, Mark Plesko, Kenneth Cline: A certifying compiler for Java. PLDI 2000: 95-107 |
1998 | ||
1 | Edoardo Biagioni, Kenneth Cline, Peter Lee, Chris Okasaki, Christopher A. Stone: Safe-for-Space Threads in Standard ML. Higher-Order and Symbolic Computation 11(2): 209-225 (1998) |
1 | Edoardo Biagioni | [1] |
2 | Fred Blau | [2] |
3 | Christopher Colby | [2] |
4 | Peter Lee | [1] [2] |
5 | George C. Necula | [2] |
6 | Chris Okasaki | [1] |
7 | Mark Plesko | [2] |
8 | Christopher A. Stone | [1] |