Ralf Hinze
Technische Universität Kaiserslautern
H-index: 39
Europe-Germany
Top articles of Ralf Hinze
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
Introducing string diagrams: the art of category theory | Ralf Hinze Dan Marsden | 2023/8/10 | |
Certified, total serialisers with an application to Huffman encoding | Journal of Functional Programming | Ralf Hinze | 2023/1 |
Calculating datastructures | Ralf Hinze Wouter Swierstra | 2022/9/22 | |
Super-naturals | Journal of Functional Programming | Ralf Hinze Colin Runciman | 2022/1 |
Algorithmics | Advancing Research in Information and Communication Technology: IFIP's Exciting First 60+ Years, Views from the Technical Committees and Working Groups | Richard Bird Jeremy Gibbons Ralf Hinze Peter Höfner Johan Jeuring | 2021 |
Grundlagen der Programmierung | Ralf Hinze AG Programmiersprachen | 2020/1/22 |