Inproceedings,

Parametric effect monads and semantics of effect systems.

.
POPL, page 633-646. ACM, (2014)

Meta data

Tags

Users

  • @t.uemura
  • @dblp

Comments and Reviews