@TECHREPORT{Leijen:effects-tr,
  author   = {Ross Tate and Daan Leijen},
  title    = {Convenient Explicit Effects using Type Inference with Subeffects},
  institution = {Microsoft Research},
  year = 2010,
  month = Jun,
  number = {{MSR-TR-2010-80}}
}