An overview of Miranda
- 1 December 1986
- journal article
- Published by Association for Computing Machinery (ACM) in ACM SIGPLAN Notices
- Vol. 21 (12) , 158-166
- https://doi.org/10.1145/15042.15053
Abstract
No abstract availableThis publication has 2 references indexed in Scilit:
- A theory of type polymorphism in programmingPublished by Elsevier ,2003
- Laws in MirandaPublished by Association for Computing Machinery (ACM) ,1986