Polymorphic Type, Region and Effect Inference

@article{Talpin1991PolymorphicTR,
  title={Polymorphic Type, Region and Effect Inference},
  author={Jean-Pierre Talpin and Pierre Jouvelot},
  journal={J. Funct. Program.},
  year={1991},
  volume={2},
  pages={245-271}
}

• Jean-Pierre Talpin, Pierre Jouvelot
• Published in JTASPEFT/WSA 1991
• DOI:10.1017/S0956796800000393

We present a new static system that reconstructs the types regions and e ects of ex pressions in an implicitly typed functional language that supports imperative operations on reference values Just as types structurally abstract collections of concrete values regions represent sets of possibly aliased reference values and e ects represent approxima tions of the imperative behavior on regions We introduce a static semantics for inferring types regions and e ects and prove that it is consistent… CONTINUE READING

View Paper

Save to Library

Create Alert

Cite