View in EDS HTML Full Text PDF Full Text

Not by equations alone: Reasoning with extensible effects.

Saved in:
Bibliographic Details
Title: Not by equations alone: Reasoning with extensible effects.
Authors: KISELYOV, OLEG1 oleg@okmij.org, MU, SHIN-CHENG2 scm@iis.sinica.edu.tw, SABRY, AMR3 sabry@indiana.edu
Source: Journal of Functional Programming. 2021, Vol. 31 Issue 1/2, p1-42. 42p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796820000271