Effect Systems as Abstract Interpretations

arXiv 2606.19686•58acc186bd73795d641287e23bb8a409e5a14ff6290373e610083b5bd09e4b48

Paper metadata

arXiv ID
2606.19686
Version
Not specified by this published record
Category
Computer Science — Programming Languages (cs.PL)

The PDF link points to arxiv.org. Baitaphish does not expose a private stored PDF.

Evidence and limitations

Source ID
arxiv_cs_pl
Record identifier
58acc186bd73795d641287e23bb8a409e5a14ff6290373e610083b5bd09e4b48
Enrichment time
2026-06-19T08:52:00Z
AI-assisted enrichment
Yes

This record may overlap with other records. Its enrichment can be incomplete or wrong, and machine assistance was used. Validate consequential decisions against the linked source and your own environment.

Effect Systems as Abstract Interpretations · Baitaphish