Sound and complete type inference for closed effect rows

DOI10.1007/978-3-031-21314-4_8zbMath1528.68067OpenAlexW4313351003MaRDI QIDQ6111455

Hidehiko Masuhara, Daan Leijen, Youyou Cong, Kazuki Ikemori

Publication date: 3 August 2023

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-031-21314-4_8

zbMATH Keywords

type inferencealgebraic effectseffect handlers

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cites Work

• Unnamed Item
• Programming with algebraic effects and handlers
• Algebraic operations and generic effects
• Inferring Algebraic Effects
• Algebraic foundations for effect-dependent optimisations
• Doo bee doo bee doo
• Explicit effect subtyping
• HMF
• Type directed compilation of row-typed algebraic effects
• Do be do be do
• A Machine-Oriented Logic Based on the Resolution Principle

This page was built for publication: Sound and complete type inference for closed effect rows