The Type and Effect Discipline

• 1 June 1994
• journal article
• Published by Elsevier in Information and Computation
• Vol. 111  (2) , 245-296
• https://doi.org/10.1006/inco.1994.1046

Abstract

Keywords

• LANGUAGES
• TYPE AND EFFECT DISCIPLINE
• POLYMORPHIC
• MINIMAL
• RECONSTRUCTION
• STRUCTURES
• FUNCTIONAL
• PRINCIPAL TYPE