Extending record typing to type parametric modules with sharing

Publisher Website

1 January 1993

conference paper
Published by Association for Computing Machinery (ACM)

p. 465-478
https://doi.org/10.1145/158511.158704

Abstract

No abstract available

Cited by 5 articles