Strictness analysis for higher-order functions
scientific article; zbMATH DE number 3974262