Type-driven defunctionalization (Q5348862)

From MaRDI portal
scientific article; zbMATH DE number 6763081
Language Label Description Also known as
English
Type-driven defunctionalization
scientific article; zbMATH DE number 6763081

    Statements