Searching program libraries by type and proving compiler correctness by bisimulation
By: Mikael Rittri
Contributors: Chalmers tekniska högskola
Publisher: Univ.
Published: 1990
Place of publication: Göteborg
Language: swe
Notes: Thesis (doctoral)--Chalmers tekniska högskola, 1990.