Work

Effect Systems as Abstract Interpretations

Year: 2026

Type: conference-paper

Abstract: Many forms of static reasoning about program behaviours are known in the literature, yet formal relationships are studied surprisingly infrequently. While most type systems are well-known to be captured by abstract interpretations, the situation for type-and-effect systems is, in the general case, unsettled despite strong hypotheses and occasional framing of effect systems as abstract interpretations.

DOI: 10.1145/3840563.3843706

Author: Colin S. Gordon

Institution: Drexel University

Topic: Logic, programming, and type systems

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funder: National Science Foundation

Award: SHF:Small:Making Effect Systems Practical with Polymorphism, Inference, and Prototyping Support

OpenAlex ID: W7165394950

FWCI:

Cites: 55

Cited by:

Related to: