A proper extension of ML with an effective type-assignment

• 1 January 1988
• conference paper
• Published by Association for Computing Machinery (ACM)
• p. 58-69
• https://doi.org/10.1145/73560.73565

Abstract