Mathematical Research Data Initiative
Main page
Recent changes
Random page
Help about MediaWiki
Create a new Item
Create a new Property
Create a new EntitySchema
Merge two items
In other projects
Discussion
View source
View history
Purge
English
Log in

Declarative pearl: deriving monadic quicksort

From MaRDI portal
Publication:2039941
Jump to:navigation, search

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

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:2039941&oldid=14521442"
Tools
What links here
Related changes
Special pages
Printable version
Permanent link
Page information
MaRDI portal item
This page was last edited on 1 February 2024, at 19:27.
Privacy policy
About MaRDI portal
Disclaimers
Imprint
Powered by MediaWiki