Explicit effect subtyping
From MaRDI portal
Publication:2323981
DOI10.1007/978-3-319-89884-1_12zbMath1418.68065arXiv2005.13814OpenAlexW2797487433MaRDI QIDQ2323981
Matija Pretnar, Tom Schrijvers, Amr Hany Saleh, Georgios Karachalias
Publication date: 13 September 2019
Full work available at URL: https://arxiv.org/abs/2005.13814
Theory of programming languages (68N15) Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Explicit effect subtyping, Runners in Action, Towards efficient adjustment of effect rows, Local algebraic effect theories
Uses Software