Hierarchy in Generic Programming Libraries
From MaRDI portal
Publication:2941169
DOI10.1007/978-3-319-19797-5_5zbMath1432.68064MaRDI QIDQ2941169
José Pedro Magalhães, Andres Löh
Publication date: 27 August 2015
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-319-19797-5_5
Cites Work
- Generic programming with fixed points for mutually recursive datatypes
- Complete and decidable type inference for GADTs
- A lightweight approach to datatype-generic rewriting
- Generic Views on Data Types
- Generic Programming with Multiple Parameters
- Scrap more boilerplate
- Type checking with open type functions
- Unnamed Item