View in EDS HTML Full Text PDF Full Text

Checking equivalence in a non-strict language.

Saved in:

Bibliographic Details
Title:	Checking equivalence in a non-strict language.
Authors:	KOLESAR, JOHN CHARLES¹ (AUTHOR), PISKAC, RUZICA¹ (AUTHOR), HALLAHAN, WILLIAM TRIEST² (AUTHOR)
Source:	Journal of Functional Programming. 2025, Vol. 35, p1-65. 65p.
Database:	Mathematics Source
Full text is not displayed to guests. Login for full access.

Description
ISSN:	09567968
DOI:	10.1017/S0956796825100099