Algebraic Specialization of Generic Functions for Recursive Types

From MaRDI portal
Publication:5166621