Declarative pearl: deriving monadic quicksort

DOI10.1007/978-3-030-59025-3_8OpenAlexW3085221868MaRDI QIDQ2039941

Tsung-Ju Chiang, Shin-Cheng Mu

Publication date: 6 July 2021

Full work available at URL: https://arxiv.org/abs/2101.11421

zbMATH Keywords

stateequational reasoningmonadsnondeterminismquicksortprogram derivation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Logic programming (68N17)

Related Items (1)

Towards a practical library for monadic equational reasoning in Coq

Cites Work

• Functional algorithm design
• Handling local state with global state
• How to calculate with nondeterministic functions
• Introduction to Information Retrieval
• Just do it
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Declarative pearl: deriving monadic quicksort