Miranda: A non-strict functional language with polymorphic types

  • D. A. Turner
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 201)


Data Type Free Algebra Functional Programming Abstract Type Abstract Data Type 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. Burstall "Proving properties of programs by structural induction" Computer Journal, vol 12, 1969Google Scholar
  2. Burstall McQueen & Sannella "HOPE: An experimental applicative language" Proceedings 1st International LISP conference, Stanford 1980.Google Scholar
  3. Gordon, Milner & Wadsworth "Edinburgh LCF" Springer Lecture Notes in Computer Science vol 78, 1979Google Scholar
  4. Hoare "Recursive data structures" International Journal of Computer and Information Sciences, June 1975Google Scholar
  5. Landin "The Mechanical Evaluation of Expressions" Computer Journal, January 1964Google Scholar
  6. McQueen "Modules for Standard ML" Proceedings 3rd International Conference on LISP and functional programming, Austin Texas, August 1984.Google Scholar
  7. Milner "A Theory of Type Polymorphism in Programming" Journal of Computer and System Sciences, vol 17, 1978Google Scholar
  8. Mycroft "Polymorphic type schemes and recursive definitions" Proceedings 6th International Conference on Programming, Toulouse April 1984 (Springer Verlag LNCS vol 167)Google Scholar
  9. Richards "An overview of ARC SASL" Sigplan Notices October 1984Google Scholar
  10. Turner "SASL Language Manual" St Andrews University Technical Report, December 1976Google Scholar
  11. Turner "Aspects of the implementation of programming languages" D. Phil Thesis, Oxford 1981Google Scholar
  12. Turner "Recursion equations as a programming language" in Functional Programming and Its Applications, ed Darlington et al., CUP 1982Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1985

Authors and Affiliations

  • D. A. Turner
    • 1
  1. 1.Computing LaboratoryUniversity of KentCanterburyEngland

Personalised recommendations