Andrew K. Hirsch, Ross Tate
Strict and lazy semantics for effects: layering monads and comonads
ICFP, 2018.
@article{ICFP-2018-HirschT, author = "Andrew K. Hirsch and Ross Tate", doi = "10.1145/3236783", journal = "{Proceedings of the ACM on Programming Languages}", number = "ICFP", pages = "30", title = "{Strict and lazy semantics for effects: layering monads and comonads}", volume = 2, year = 2018, }