A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2016; you can also visit the original URL.
The file type is application/pdf
.
A Church-Style Intermediate Language for ML F
[chapter]
2010
Lecture Notes in Computer Science
ML F is a type system that seamlessly merges ML-style implicit but second-class polymorphism with System-F explicit first-class polymorphism. We present x ML F , a Church-style version of ML F with full type information that can easily be maintained during reduction. All parameters of functions are explicitly typed and both type abstraction and type instantiation are explicit. However, type instantiation in x ML F is more general than type application in System F. We equip x ML F with a
doi:10.1007/978-3-642-12251-4_4
fatcat:ln2pzae3uzgbnpxvnjv4gqjuwa