Structural semantics for polymorphic data types (preliminary report)

Publisher Website

1 January 1983

proceedings article
Published by Association for Computing Machinery (ACM)

p. 155-166
https://doi.org/10.1145/567067.567083

Abstract

No abstract available

Cited by 3 articles