A type inference algorithm and transition semantics for Polymorphic C (1996)

by M Ozgen
Venue:Master's thesis, Naval Postgraduate School