Safe-for-Space Threads in Standard ML. - Edoardo Biagioni; Kenneth Cline; Peter Lee 001; Chris Okasaki; Christopher A. Stone (High. Order Symb. Comput., 1998)

A certifying compiler for Java. - Christopher Colby; Peter Lee 001; George C. Necula; Fred Blau; Mark Plesko; Kenneth Cline (PLDI, 2000)