@Inproceedings{EPTCS294.2, author = {Kiselyov, Oleg}, year = {2019}, title = {Effects Without Monads: Non-determinism -- Back to the Meta Language}, editor = {Lindley, Sam and Scherer, Gabriel}, booktitle = {{\rm Proceedings} ML Family / OCaml Users and Developers workshops, {\rm Oxford, UK, 7th September 2017}}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {294}, publisher = {Open Publishing Association}, pages = {15-40}, doi = {10.4204/EPTCS.294.2}, }