Bounded Existentials and Minimal Typing (1996)

View PDF

Download Links

by Giorgio Ghelli , Benjamin Pierce
Venue:Theoretical Computer Science
Citations:30 - 6 self