@article{hinze-2023-certified, title={Certified, total serialisers with an application to Huffman encoding}, volume={33}, ISSN={1469-7653}, url={http://dx.doi.org/10.1017/s095679682200017x}, DOI={10.1017/s095679682200017x}, journal={Journal of Functional Programming}, publisher={Cambridge University Press (CUP)}, author={HINZE, RALF}, year={2023} }