Simon Thompson "Programming Language Semantics using Miranda" Technical Report 9-95, University of Kent, Computing Laboratory, University of Kent, Canterbury, UK, May 1995.

Languages mentioned

• Miranda {1985}