Refined Type Inference for ML

Manuel Fähndrich and Alexander Aiken

Details

Publication typeInproceedings
Published inProceedings of the 1st Workshop on Types in Compilation
> Publications > Refined Type Inference for ML