Affiliation:
1. Bell Laboratories, Lucent Technologies
Abstract
Gifford and others proposed an
effect
typing discipline to delimit the scope of computational effects within a program, while Moggi and others proposed
monads
for much the same purpose. Here we marry effects to monads, uniting two previously separate lines of research. In particular, we show that the type, region, and effect system of Talpin and Jouvelot carries over directly to an analogous system for monads, including a type and effect reconstruction algorithm. The same technique should allow one to transpose any effect systems into a corresponding monad system.
Publisher
Association for Computing Machinery (ACM)
Subject
Computer Graphics and Computer-Aided Design,Software
Reference33 articles.
1. Compiling standard ML to Java bytecodes
2. Integrating functional and imperative programming
3. James
Gosling Bill
Joy and
Guy
Steele The Java Language Specification Java Series Sun Microsystems 1996
. James Gosling Bill Joy and Guy Steele The Java Language Specification Java Series Sun Microsystems 1996.
Cited by
16 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. GATE: Gradual Effect Types;Lecture Notes in Computer Science;2021
2. The untyped computational λ-calculus and its intersection type discipline;Theoretical Computer Science;2020-12
3. Simple Noninterference by Normalization;Proceedings of the 14th ACM SIGSAC Workshop on Programming Languages and Analysis for Security - PLAS'19;2019
4. Factorisation Systems for Logical Relations and Monadic Lifting in Type-and-effect System Semantics;Electronic Notes in Theoretical Computer Science;2018-12
5. A Perspective on the Dependency Core Calculus;Proceedings of the 13th Workshop on Programming Languages and Analysis for Security;2018-01-15