Recursive subtyping for all.
Saved in:
| 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.
Login for full access.
|
|
Be the first to leave a comment!
