Miranda: A non-strict functional language with polymorphic types
- 1 January 1985
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- An overview of ARC SASLACM SIGPLAN Notices, 1984
- Modules for standard MLPublished by Association for Computing Machinery (ACM) ,1984
- Polymorphic type schemes and recursive definitionsLecture Notes in Computer Science, 1984
- Recursion Equations as a Programming LanguageLecture Notes in Computer Science, 1982
- HOPEPublished by Association for Computing Machinery (ACM) ,1980
- Edinburgh LCFLecture Notes in Computer Science, 1979
- A theory of type polymorphism in programmingJournal of Computer and System Sciences, 1978
- Recursive data structuresInternational Journal of Parallel Programming, 1975
- Proving Properties of Programs by Structural InductionThe Computer Journal, 1969
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964