From proof normalization to compiler generation and type-directed change-of-representation (1997)

by Ren'e Vestergaard
Venue:Department of Computer Science, University of Aarhus