John C. Mitchell. Type Systems for Programming Languages. In Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics (B). pages 365-458, 1990.
No references recorded for this publication.
No citations of this publication recorded.