A duality of sorts

DOI10.1007/978-3-642-40355-2_11MaRDI QIDQ5410453zbMATH OpenOpenAlexFDO

Authors Ralf Hinze, José Pedro Magalhães, Nicolas Wu

Publication date 16 April 2014

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-40355-2_11

Mathematics Subject Classification ID

Searching and sorting (68P10)

Recommendations

• Functional algorithm design
• A note on synthesis and classification of sorting algorithms
• The under-appreciated unfold
• The under-appreciated unfold
• Bubblesort, stacksort and their duals

Cites work

• Deforestation: Transforming programs to eliminate trees
• Functional programming with apomorphisms (corecursion)
• Generic programming with adjunctions
• scientific article; zbMATH DE number 1052006 (Why is no real title available?)
• scientific article; zbMATH DE number 1952947 (Why is no real title available?)
• Paramorphisms
• The under-appreciated unfold
• Two-level types and parameterized modules

Cited in

(4)

• Many Facets of Dualities
• scientific article; zbMATH DE number 2152231 (Why is no real title available?)
• A sort of an adversary
• Fantastic morphisms and where to find them. A guide to recursion schemes

Describes a project that uses

Uses Software

• Haskell

This page was built for publication: A duality of sorts

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5410453)