Skip to content

Instantly share code, notes, and snippets.

@cyberglot

cyberglot/effbib.md

Last active January 17, 2018 19:50
Show Gist options
  • Save cyberglot/07f0e6c1fec0ebdc06282895f84aa5a5 to your computer and use it in GitHub Desktop.
Save cyberglot/07f0e6c1fec0ebdc06282895f84aa5a5 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
effbib.md

Effect Handlers

  • Freer monads, more extensible effects (Haskell 2015) by Oleg Kiselyov and Hiromi Ishii
  • An Introduction to Algebraic Effects and Handlers (MFPS 2015) by Matija Pretnar
  • Programming and reasoning with algebraic effects and dependent types (ICFP 2013) by Edwin Brady

Effect systems

  • Embedding effect systems in Haskell (Haskell 2014) by Dominic Orchard and Tomas Petricek
  • A generic type-and-effect system (TLDI 2009) by Daniel Marino and Todd Millstein

Monads

  • The Marriage of Effects and Monads (Trans. Comp. Logic, 2003) by Philip Wadler and Peter Thiemann
  • Idioms are Oblivious, Arrows are Meticulous, Monads are Promiscuous (ENTCS 2011) by Sam Lindley, Philip Wadler and Jeremy Yallop
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment