Monadic Intersection Types, Relationally, and Ordered.
Saved in:
| Title: | Monadic Intersection Types, Relationally, and Ordered. |
|---|---|
| Authors: | Galal, Zeinab1 (AUTHOR) zgalal@kurims.kyoto-u.ac.jp, Gavazzo, Francesco2 (AUTHOR) francesco.gavazzo@unipd.it, Treglia, Riccardo3 (AUTHOR) riccardo.treglia@gmail.com, Vanoni, Gabriele4 (AUTHOR) gabriele.vanoni@irif.fr |
| Source: | ACM Transactions on Programming Languages & Systems. Dec2025, Vol. 47 Issue 4, p1-51. 51p. |
| Database: | Business Source Ultimate |
| ISSN: | 01640925 |
|---|---|
| DOI: | 10.1145/3777483 |
