Certified, total serialisers with an application to Huffman encoding

DOI10.1017/S095679682200017XMaRDI QIDQ6131899zbMATH OpenOpenAlexFDO

Authors Ralf Hinze

Publication date 18 April 2024

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

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

This page was built for publication: Certified, total serialisers with an application to Huffman encoding

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