Preview
Unable to display preview. Download preview PDF.
References
Michael Beaven, Ryan Stansifer, and Dan Wetklow. A functional language with classes. Technical Report CSD-TR-946, Purdue University, 1990.
Luca Cardelli. A semantics of multiple inheritance. In Proc. Int. Symp. on Semantics of Data Types, Sophia-Antipolis(France), Springer LNCS 173, pages 51–68, 1984.
D. Clement, J. Despeyroux, T. Despeyroux, and G. Kahn. A simple applicative language: Mini-ML. In Conf. Proc. 1986 ACM Symposium on LISP and Functional Programming, pages 13–27, 1986.
Luis Damas and Robin Milner. Principal type-schemes for functional programs. In Conference Records of the Ninth Annual ACM Symposium of Principals of Programming Languages, pages 207–212, 1982.
Robin Milner. Proposal for standard ML. In Conf. Proc. 1984 ACM Symposium on LISP and Functional Programming, pages 184–197, 1984.
Didier Remy. Typechecking records and variants in a natural extenstion of ML. In Conference Records of the 16th Annual ACM Symposium of Principals of Programming Languages, pages 77–88, 1989.
Mitchell Wand. Type inference for record concatenation and multiple inheritance. In Proc. Fourth IEEE Symposium on Logic in Computer Science, pages 92–97, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Beaven, M., Stansifer, R., Wetklow, D. (1991). A functional language with classes. In: Sherwani, N.A., de Doncker, E., Kapenga, J.A. (eds) Computing in the 90's. Great Lakes CS 1989. Lecture Notes in Computer Science, vol 507. Springer, New York, NY. https://doi.org/10.1007/BFb0038516
Download citation
DOI: https://doi.org/10.1007/BFb0038516
Published:
Publisher Name: Springer, New York, NY
Print ISBN: 978-0-387-97628-0
Online ISBN: 978-0-387-34815-5
eBook Packages: Springer Book Archive