Matija Pretnar - Inferring Algebraic Effects

lmcs:1004 - Logical Methods in Computer Science, September 12, 2014, Volume 10, Issue 3 -
Inferring Algebraic EffectsArticle

Authors: Matija Pretnar ORCID

    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
    Imported on: December 5, 2013
    Keywords: Computer Science - Programming Languages,Computer Science - Logic in Computer Science

    19 Documents citing this article

    Consultation statistics

    This page has been seen 2005 times.
    This article's PDF has been downloaded 681 times.