An Overview of Miranda

ACM SIGPLAN Notices

Volumn 21, Issue 12, 1986, Pages 158-166

  Turner, D ^a  

^a UNIVERSITY OF KENT   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 84976819957     PISSN: 03621340     EISSN: 15581160     Source Type: Journal    
DOI: 10.1145/15042.15053     Document Type: Article

References (3)

1. Milner "A Theory of Type Polymorphism in Programming" Journal of Computer and System Sciences, vol 17, 1978
2. Thompson "Laws in Miranda" Proceedings 4th ACM International Conference on LISP and Functional Programming, Boston Mass, August 1986
3. Turner "Mirandas A non-strict functional language with polymorphic types" Proceedings IFIP International Conference on Functional Programming Languages and Computer Architecture, Nancy France, September 1985 (Springer Lecture Notes in Computer Science, vol 201).