Finite subtype inference with explicit polymorphism
scientific article; zbMATH DE number 1563575