A theory of qualified types

DOI10.1016/0167-6423(94)00005-0zbMath0809.68084OpenAlexW2131067178MaRDI QIDQ1330435

Mark P. Jones

Publication date: 21 July 1994

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

Full work available at URL: https://doi.org/10.1016/0167-6423(94)00005-0

zbMATH Keywords

type inference algorithm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Combinatory logic and lambda calculus (03B40)

Related Items (1)

A Church-style intermediate language for ML\(^{\text F}\)

This page was built for publication: A theory of qualified types