A new type-checker for a functional language

DOI10.1016/0167-6423(86)90027-4zbMath0585.68013OpenAlexW2139102157MaRDI QIDQ1070814

Jon Fairbairn

Publication date: 1986

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0167-6423(86)90027-4

zbMATH Keywords

functional programming languagepolymorphic type-checkerPondertype- validity of Ponder programs

Mathematics Subject Classification ID

General topics in the theory of software (68N01)

Related Items (1)

Algebraic types in PER models

This page was built for publication: A new type-checker for a functional language