Laws in Miranda

Simon J. Thompson. Laws in Miranda. In LISP and Functional Programming. pages 1-12, 1986.

Abstract

Abstract is missing.