Matija Pretnar - Inferring Algebraic Effects

lmcs:1004 - Logical Methods in Computer Science, September 12, 2014, Volume 10, Issue 3 - https://doi.org/10.2168/LMCS-10(3:21)2014
Inferring Algebraic Effects

Authors: Matija Pretnar ORCID-iD

    We present a complete polymorphic effect inference algorithm for an ML-style language with handlers of not only exceptions, but of any other algebraic effect such as input & output, mutable references and many others. Our main aim is to offer the programmer a useful insight into the effectful behaviour of programs. Handlers help here by cutting down possible effects and the resulting lengthy output that often plagues precise effect systems. Additionally, we present a set of methods that further simplify the displayed types, some even by deliberately hiding inferred information from the programmer.


    Volume: Volume 10, Issue 3
    Published on: September 12, 2014
    Accepted on: June 25, 2015
    Submitted on: December 5, 2013
    Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science

    Linked data

    Source : ScholeXplorer IsReferencedBy HANDLE 20.500.11820/a55cafe9-5000-4b27-a887-baf7bf8ba5b1
    Source : ScholeXplorer IsReferencedBy DOI 10.1145/2976022.2976033
    • 20.500.11820/a55cafe9-5000-4b27-a887-baf7bf8ba5b1
    • 10.1145/2976022.2976033
    • 10.1145/2976022.2976033
    • 10.1145/2976022.2976033
    Liberating effects with rows and handlers
    Hillerström, Daniel ; Lindley, Sam ;

    14 Documents citing this article

    Share

    Consultation statistics

    This page has been seen 987 times.
    This article's PDF has been downloaded 529 times.