A sound polymorphic type system for a dialect of C

Science of Computer Programming (1998) - Comments
doi: 10.1016/s0167-6423(97)00030-0 issn: 0167-6423

Geoffrey Smith, Dennis Volpano