Type inference for polymorphic references

From MaRDI portal
Publication:918190

DOI10.1016/0890-5401(90)90018-DzbMath0705.68028OpenAlexW2151156765WikidataQ55222540 ScholiaQ55222540MaRDI QIDQ918190

Mads Tofte

Publication date: 1990

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

Full work available at URL: https://doi.org/10.1016/0890-5401(90)90018-d




Related Items


Uses Software


Cites Work