A Miranda programozási nyelv
Hivatkozások
Hivatkozások
- Milner, R. - "A Theory of Type
Polymorphism in Programming" Journal of Computer and System
Sciences, vol 17, 1978
- Thompson, S.J. - "Laws in Miranda" Proceedings 4th ACM International
Conference on LISP and Functional Programming, Boston Mass, August
1986
- Turner, D.A. - "Miranda: 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).
- Thompson, S.J. - "Miranda: The Craft of
Functional Programming" Addison-Wesley, ISBN 0-201-42279-4, 470
pages, paperback, 1995
