Monadic regions

DOI10.1145/1016850.1016867zbMath1323.68112OpenAlexW4235392789MaRDI QIDQ5178027

Matthew T. Fluet, Greg Morrisett

Publication date: 9 March 2015

Published in: Proceedings of the ninth ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/1016850.1016867

zbMATH Keywords

type systemmonadparametric polymorphismeffectregionregion-based memory management

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (1)

Region-based resource management and lexical exception handlers in continuation-passing style

Uses Software

• Haskell
• Cyclone

This page was built for publication: Monadic regions