All sorts of permutations (functional pearl)

DOI10.1145/2951913.2951949zbMath1360.68319OpenAlexW2515185299MaRDI QIDQ2982013

Nikita Danilenko, Sandra Dylus, Jan Christiansen

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2951913.2951949

zbMATH Keywords

sortingpermutationHaskellmonadsnondeterminismfree theorems

Mathematics Subject Classification ID

Searching and sorting (68P10) Functional programming and lambda calculus (68N18)

Uses Software

• Haskell

This page was built for publication: All sorts of permutations (functional pearl)