Searching program libraries by type and proving compiler correctness by bisimulation.PhD thesis (1990)

by M Rittri
Venue:University of G"oteborg, G"oteborg, Sweden