A greedy algorithm for dropping digits

DOI10.1017/S0956796821000198OpenAlexW3214606129MaRDI QIDQ5020906

Richard S. Bird, Shin-Cheng Mu

Publication date: 7 January 2022

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

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Uses Software

• Agda

Cites Work

• Greedoids
• The classification of greedy algorithms
• Dependently Typed Programming in Agda
• Programming as a Discipline of Mathematical Nature
• Unnamed Item
• Unnamed Item
• Unnamed Item