A Categorical Account of Two-Level Languages (1997)

Cached

Download Links

by Eugenio Moggi
Venue:In MFPS
Citations:18 - 4 self