A pointless derivation of radix sort

DOI10.1017/S0956796899003354MaRDI QIDQ4934242zbMATH OpenFDO

Authors Jeremy Gibbons

Publication date 5 December 2000

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/S0956796899003354

zbMATH Keywords

point-free calculationsradix-sort algorithm

Mathematics Subject Classification ID

Theory of programming languages (68N15)

Recommendations

• Point-free program transformation
• Functional algorithm design
• A Framework for Point-Free Program Transformation
• Pointfree expression and calculation: From quantification to temporal logic
• scientific article; zbMATH DE number 1696901

Cited in

(1)

• Pointfree expression and calculation: From quantification to temporal logic

This page was built for publication: A pointless derivation of radix sort

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