An Affine Type System with Hindley-Milner Style Type Inference
Programming Languages
2022-04-01 v1
Abstract
This article first provides an algorithm W based type inference algorithm for an affine type system. Then the article further assumes the language equipped with the above type system uses lazy evaluation, and explores the possibility of representing the !-modality as a user-defined type synonym with the power of the newly gained polymorphism.
Keywords
Cite
@article{arxiv.2203.17125,
title = {An Affine Type System with Hindley-Milner Style Type Inference},
author = {Gonglin Li},
journal= {arXiv preprint arXiv:2203.17125},
year = {2022}
}
Comments
9 pages