1ML with special effects. F-ing generativity polymorphism

DOI10.1007/978-3-319-30936-1_18MaRDI QIDQ3188295zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• 1ML -- core and modules united
• 1ML -- core and modules united (F-ing first-class modules)
• Polymonadic programming
• Taming effects with monadic typing
• Taming effects with monadic typing

Cites work

• 1ML -- core and modules united (F-ing first-class modules)
• A type system for higher-order modules
• F-ing modules
• scientific article; zbMATH DE number 4179333 (Why is no real title available?)
• Mixin' up the ML module system
• Polymorphic type, region and effect inference
• The marriage of effects and monads
• The sequential semantics of producer effect systems
• Transparent modules with fully syntatic signatures

Cited in

(1)

• 1ML -- core and modules united

Describes a project that uses

Uses Software

• MixML
• 1ML

This page was built for publication: 1ML with special effects. F-ing generativity polymorphism

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3188295)