Subtyping recursion and parametric polymorphism in kernel Fun
scientific article; zbMATH DE number 2175394
scientific article