How to keep your neighbours in order

DOI10.1145/2628136.2628163zbMath1345.68065OpenAlexW2128197690MaRDI QIDQ2819693

Conor McBride

Publication date: 29 September 2016

Published in: Proceedings of the 19th ACM SIGPLAN international conference on Functional programming (Search for Journal in Brave)

Full work available at URL: https://strathprints.strath.ac.uk/51678/

zbMATH Keywords

orderingsortingbalancingdependent typesAgda

Mathematics Subject Classification ID

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

Related Items (2)

Programming with ornaments ⋮ Ready,Set, Verify! Applyinghs-to-coqto real-world Haskell code

This page was built for publication: How to keep your neighbours in order