Standard ML-NJ weak polymorphism and imperative constructs

DOI10.1006/inco.1996.0054zbMath0856.68036OpenAlexW2124324624MaRDI QIDQ1923097

Ramesh Viswanathan, John C. Mitchell

Publication date: 3 February 1997

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.1996.0054

zbMATH Keywords

operational semanticsweak polymorphismweak type variables

Mathematics Subject Classification ID

Theory of programming languages (68N15) Theory of compilers and interpreters (68N20)

Related Items

A simplified account of polymorphic references