Inhabitation of polymorphic and existential types
scientific article; zbMATH DE number 5943657
scientific article