Advertisement

A functional language with classes

  • Mike Beaven
  • Ryan Stansifer
  • Dan Wetklow
Track 11: Programming Languages
Part of the Lecture Notes in Computer Science book series (LNCS, volume 507)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. [BSW90]
    Michael Beaven, Ryan Stansifer, and Dan Wetklow. A functional language with classes. Technical Report CSD-TR-946, Purdue University, 1990.Google Scholar
  2. [Car84]
    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.Google Scholar
  3. [CDDK86]
    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.Google Scholar
  4. [DM82]
    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.Google Scholar
  5. [Mil84]
    Robin Milner. Proposal for standard ML. In Conf. Proc. 1984 ACM Symposium on LISP and Functional Programming, pages 184–197, 1984.Google Scholar
  6. [Rem89]
    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.Google Scholar
  7. [Wan89]
    Mitchell Wand. Type inference for record concatenation and multiple inheritance. In Proc. Fourth IEEE Symposium on Logic in Computer Science, pages 92–97, 1989.Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1991

Authors and Affiliations

  • Mike Beaven
    • 1
  • Ryan Stansifer
    • 1
  • Dan Wetklow
    • 1
  1. 1.Department of Computer SciencesPurdue UniversityWest Lafayette

Personalised recommendations