A model for I/O in equational languages with don't care non-determinism

Publisher Website

1 January 1996

book chapter
Published by Springer Nature

p. 522-535
https://doi.org/10.1007/3-540-61629-2_61

Abstract

No abstract available

Keywords

This publication has 7 references indexed in Scilit:

Benchmarking implementations of functional languages with ‘Pseudoknot’, a float-intensive benchmark
Journal of Functional Programming, 1996
Combining lazy narrowing and simplification
Published by Springer Nature ,1994
Imperative functional programming
Published by Association for Computing Machinery (ACM) ,1993
Rewrite Systems
Published by Elsevier ,1990
Operational semantics of OBJ-3
Published by Springer Nature ,1988
Canonical Forms and Unification.
Published by Defense Technical Information Center (DTIC) ,1980
Correspondence between ALGOL 60 and Church's Lambda-notation
Communications of the ACM, 1965