Syntactic Type Abstraction (2000)

by Dan Grossman, Greg Morrisett, Steve Zdancewic
Venue:ACM TOPLAS