Skip to content

Towards an ML-Style Polymorphic Type System for C.

Geoffrey Smith, Dennis M. Volpano

VenueAESOP
Year1996
ProceedingsESOP

Browse the full ESOP paper archive.