Strong normalization with non-structural subtyping
From MaRDI portal
Publication:4862765
DOI10.1017/S0960129500000815zbMath0840.03006WikidataQ61660783 ScholiaQ61660783MaRDI QIDQ4862765
Patrick O'Keefe, Mitchell Wand, Jens Palsberg
Publication date: 1 July 1996
Published in: Mathematical Structures in Computer Science (Search for Journal in Brave)
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (2)
Strong normalization for non-structural subtyping via saturated sets ⋮ Type inference with non-structural subtyping
Cites Work
This page was built for publication: Strong normalization with non-structural subtyping