A type-inference approach to reduction properties and semantics of polymorphic expressions (summary)

Publisher Website

1 January 1986

conference paper
Published by Association for Computing Machinery (ACM)

p. 308-319
https://doi.org/10.1145/319838.319872

Abstract

No abstract available

Cited by 19 articles