Towards an ML-Style Polymorphic Type System for C

Geoffrey Smith, Dennis M. Volpano. Towards an ML-Style Polymorphic Type System for C. In Hanne Riis Nielson, editor, Programming Languages and Systems - ESOP 96, 6th European Symposium on Programming, Linköping, Sweden, April 22-24, 1996, Proceedings. Volume 1058 of Lecture Notes in Computer Science, pages 341-355, Springer, 1996.

Abstract

Abstract is missing.