Handling polymorphic algebraic effects

DOI10.1007/978-3-030-17184-1_13zbMath1524.68102arXiv1811.07332OpenAlexW3102012372MaRDI QIDQ6070789

Taro Sekiyama, Atsushi Igarashi

Publication date: 24 November 2023

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://arxiv.org/abs/1811.07332

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

This page was built for publication: Handling polymorphic algebraic effects