Syntactic type abstraction (0)

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