Decidable Bounded Quantification (1994)

by Giuseppe Castagna , Benjamin C. Pierce
Venue:IN 21ST ACM SYMP. ON PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:26 - 3 self