Efficient and flexible matching of recursive types
scientific article; zbMATH DE number 1853228
scientific article