Intersection types and bounded polymorphism (Q4340497)
From MaRDI portal
scientific article; zbMATH DE number 1019518
Language | Label | Description | Also known as |
---|---|---|---|
English | Intersection types and bounded polymorphism |
scientific article; zbMATH DE number 1019518 |
Statements
Intersection types and bounded polymorphism (English)
0 references
9 October 1997
0 references
second-order typed \(\lambda\)-calculus with bounded quantification and intersection types
0 references
subtyping
0 references
typechecking
0 references