Monadic Intersection Types, Relationally, and Ordered.

Saved in:

Bibliographic Details
Title:	Monadic Intersection Types, Relationally, and Ordered.
Authors:	Galal, Zeinab¹, zgalal@kurims.kyoto-u.ac.jp, Gavazzo, Francesco², francesco.gavazzo@unipd.it, Treglia, Riccardo³, riccardo.treglia@gmail.com, Vanoni, Gabriele⁴, gabriele.vanoni@irif.fr
Source:	ACM Transactions on Programming Languages & Systems; Dec2025, Vol. 47 Issue 4, p1-51, 51p
Database:	Applied Science & Technology Source

Description
ISSN:	01640925
DOI:	10.1145/3777483