Modelling Unique and Affine Typing Using Polymorphism (Q5410455)
From MaRDI portal
scientific article; zbMATH DE number 6285936
Language | Label | Description | Also known as |
---|---|---|---|
English | Modelling Unique and Affine Typing Using Polymorphism |
scientific article; zbMATH DE number 6285936 |
Statements
Modelling Unique and Affine Typing Using Polymorphism (English)
0 references
16 April 2014
0 references
0 references