Certified, total serialisers with an application to Huffman encoding
| Author: | Ralf HinzeORCiD |
|---|---|
| URL: | https://www.cambridge.org/core/journals/journal-of-functional-programming/article/certified-total-serialisers-with-an-application-to-huffman-encoding/A8A4B67E800CEECFC434C8F69B96F35F |
| DOI: | https://doi.org/10.1017/S095679682200017X |
| ISSN: | 1469-7653 |
| Journal: | Journal of Functional Programming |
| Publisher: | CUP |
| Document Type: | Research Article |
| Language: | English |
| Year of first Publication: | 2023 |
| Release Date: | 2024/01/04 |
| Volume: | 33 |
| Article Number: | e12 |
| Page Number: | 18 |
| First Page: | 1 |
| Last Page: | 18 |
| Faculties / Organisational entities: | RPTU in Kaiserslautern / Fachbereich Informatik / AG Programmiersprachen |
| Open access state: | Gold Open-Access |
| RPTU: | Kaiserslautern |
| Created at the RPTU: | Yes |