Syntactic abstraction in component interfaces (2005)

by Ryan Culpepper, Scott Owens, Matthew Flatt
Venue:of Lecture Notes in Computer Science