Type Systems for Programming Languages

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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.