Polymorphic Type, Region and Effect Inference

  title={Polymorphic Type, Region and Effect Inference},
  author={Jean-Pierre Talpin and Pierre Jouvelot},
  journal={J. Funct. Program.},
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


Publications citing this paper.

309 Citations

Citations per Year
Semantic Scholar estimates that this publication has 309 citations based on the available data.

See our FAQ for additional information.


Publications referenced by this paper.

Types and E ects , towards the integration of functional andimperative programming

  • J. M. Lucassen
  • Pro - ceedings of the ACM Conference on…
  • 1991

Abstract Interpretation , a uni ed lattice model forstatic analysis of programs by construction of approximation of xpoints

  • R. Cousot
  • Pro - ceedings of the ACM Conference on…
  • 1990

The Type and E ect Discipline

  • P. Jouvelot
  • 1990

A Theory for type polymorphism in programming

  • R. Milner
  • MIT / LCS / TR408 ( Ph . D . Thesis ) . MIT…
  • 1987

Algebraic reconstruction of types and e ects

  • D. K. Gi ord
  • Proceedings of theWorkshop on Partial Evaluation…
  • 1987

Similar Papers

Loading similar papers…