A Church-style intermediate language for ML\(^{\text F}\) (Q428892)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6049402
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | A Church-style intermediate language for ML\(^{\text F}\) |
scientific article; zbMATH DE number 6049402 |
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
0.9996321
0 references
0.83242863
0 references
0.8034858
0 references
0.8003079
0 references
0.79938483
0 references
0.7990173
0 references
0.7929164
0 references
