Queueing and glueing for optimal partitioning (functional pearl)

DOI10.1145/2951913.2951923zbMath1361.68043OpenAlexW2509692692MaRDI QIDQ2982011

Shin-Cheng Mu, Yu-Hsi Chiang, Yu-Han Lyu

Publication date: 10 May 2017

Published in: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/2951913.2951923

zbMATH Keywords

optimal partitionprogram derivation

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Data structures (68P05)

Uses Software

• Haskell

This page was built for publication: Queueing and glueing for optimal partitioning (functional pearl)