View in EDS HTML Full Text PDF Full Text

Recursive subtyping for all.

Saved in:
Bibliographic Details
Title: Recursive subtyping for all.
Authors: ZHOU, LITAO1 (AUTHOR), ZHOU, YAODA1 (AUTHOR), WAN, QIANYONG1 (AUTHOR), OLIVEIRA, BRUNO C. D. S.1 (AUTHOR)
Source: Journal of Functional Programming. 2025, Vol. 35, p1-55. 55p.
Database: Mathematics Source
Full text is not displayed to guests.
Description
ISSN:09567968
DOI:10.1017/S0956796825000036