Syntactic Type Abstraction (0)

by D Grossman, J G Morrisett, S Zdancewic
Venue:TOPLAS