A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
From ML to MLF
2008
SIGPLAN notices
ML F is a type system that seamlessly merges ML-style type inference with System-F polymorphism. We propose a system of graphic (type) constraints that can be used to perform type inference in both ML or ML F . We show that this constraint system is a small extension of the formalism of graphic types, originally introduced to represent ML F types. We give a few semantic preserving transformations on constraints and propose a strategy for applying them to solve constraints. We show that the
doi:10.1145/1411203.1411216
fatcat:auekis6qnfamzhpnx6curkrakq