A sound polymorphic type system for a dialect of C (1998)

by Geoffrey Smith , Dennis Volpano
Venue:Science of Computer Programming
Citations:19 - 1 self