A new type-checker for a functional language
scientific article; zbMATH DE number 3938528