1ML with Special Effects

DOI10.1007/978-3-319-30936-1_18zbMath1343.68042OpenAlexW2506134521MaRDI QIDQ3188295

Andreas Rossberg

Publication date: 17 August 2016

Published in: A List of Successes That Can Change the World (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-30936-1_18

Mathematics Subject Classification ID

Theory of programming languages (68N15) Functional programming and lambda calculus (68N18)

Related Items (1)

1ML – Core and modules united

Uses Software

• 1ML
• MixML

Cites Work

• Unnamed Item
• Transparent modules with fully syntatic signatures
• The sequential semantics of producer effect systems
• A type system for higher-order modules
• 1ML – core and modules united (F-ing first-class modules)
• Polymorphic type, region and effect inference
• F-ing modules
• Mixin' up the ML module system
• The marriage of effects and monads

This page was built for publication: 1ML with Special Effects