Inferring Algebraic Effects

  title={Inferring Algebraic Effects},
  author={Matija Pretnar},
  journal={Logical Methods in Computer Science},
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… CONTINUE READING
Highly Cited
This paper has 32 citations. REVIEW CITATIONS
Recent Discussions
This paper has been referenced on Twitter 3 times over the past 90 days. VIEW TWEETS
17 Citations
29 References
Similar Papers


Publications referenced by this paper.
Showing 1-10 of 29 references

Haskell 98 Language and Libraries – The Revised Report

  • Simon Peyton Jones, editor
  • 2003
Highly Influential
5 Excerpts

Type inference in the presence of subtyping: from theory to practice

  • François Pottier
  • Technical Report RR-3483,
  • 1998
Highly Influential
7 Excerpts

Similar Papers

Loading similar papers…