A Church-style intermediate language for ML\(^{\text F}\) (Q428892)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A Church-style intermediate language for ML\(^{\text F}\) |
scientific article |
Statements
A Church-style intermediate language for ML\(^{\text F}\) (English)
0 references
25 June 2012
0 references
ML\(^{\text F}\)
0 references
System F
0 references
types
0 references
type generalization
0 references
type instantiation
0 references
retyping functions
0 references
coercions
0 references
type soundness
0 references
binders
0 references
