Concrete domains, Theor (1993)

by G Kahn, G Plotkin
Venue:Comput. Sci