Searching program libraries by type and proving compiler correctness by bisimulation
University
Göteborgs universitet/University of Gothenburg
Institution
Datalogi
Date
1990Author
Rittri, Mikael
Keywords
Databehandling Allmänt
Publication type
Doctoral thesis
ISBN
91-7032-476-X