@inproceedings{201,
  keywords = {free theorems, Haskell, monads, non-determinism, permutation, sorting},
  author = {Jan Christiansen and Nikita Danilenko and Sandra Dylus},
  title = {All Sorts of Permutations (Functional Pearl)},
  year = {2016},
  booktitle = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
  journal = {Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming},
  pages = {168-179},
  publisher = {ACM},
  isbn = {978-1-4503-4219-3},
  doi = {10.1145/2951913.2951949},
}