Iman Poernomo
Adapting Proofs-as-Programs for the Synthesis of Imperative SML ProgramsSome Uses of the Intersection Type
Iman Poernomo, December 8, 2003
Department of Computer Science, Cornell University
mtotman@cs.cornell.edu