Algebraic Specialization of Generic Functions for Recursive Types (Q5166621)
From MaRDI portal
scientific article; zbMATH DE number 6309384
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Algebraic Specialization of Generic Functions for Recursive Types |
scientific article; zbMATH DE number 6309384 |
Statements
Algebraic Specialization of Generic Functions for Recursive Types (English)
0 references
27 June 2014
0 references
generic programming
0 references
recursion patterns
0 references
rewrite systems
0 references
specialization
0 references
type families
0 references
