Polymorphic Type, Region and Effect Inference

@article{Talpin1992PolymorphicTR,
  title={Polymorphic Type, Region and Effect Inference},
  author={J. Talpin and P. Jouvelot},
  journal={J. Funct. Program.},
  year={1992},
  volume={2},
  pages={245-271}
}
We present a new static system which reconstructs the types, regions and effects of expressions in an implicitly typed functional language that supports imperative operations on reference values. [...] Key Method We present a reconstruction algorithm that computes the types and effects of expressions, and assigns regions to reference values. We prove the correctness of the reconstruction algorithm with respect to the static semantics. Finally, we discuss potential applications of our system to automatic stack…Expand
243 Citations
The type and effect discipline
  • J. Talpin, P. Jouvelot
  • Mathematics, Computer Science
  • [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science
  • 1992
  • 168
The Type and Effect Discipline
  • 148
  • PDF
Implementation of the typed call-by-value λ-calculus using a stack of regions
  • 332
  • PDF
Region and effect inference for safe parallelism
  • 1
Region and Effect Inference for Safe Parallelism (T)
  • 2
Type inference and optimisation for an impure world
  • 13
nu-Types for Effects and Freshness Analysis
  • 1
  • Highly Influenced
  • PDF
A region inference algorithm
  • 146
Lightweight Polymorphic Effects
  • 50
  • PDF
...
1
2
3
4
5
...

References

SHOWING 1-10 OF 36 REFERENCES
Algebraic reconstruction of types and effects
  • 170
  • PDF
Polymorphic type inference and assignment
  • 98
  • PDF
Static dependent types for first class modules
  • 22
  • PDF
A Theory of Type Polymorphism in Programming
  • R. Milner
  • Computer Science
  • J. Comput. Syst. Sci.
  • 1978
  • 2,499
  • PDF
Data Flow Analysis for Procedural Languages
  • 82
The essence of ML
  • 142
  • PDF
Detecting conflicts between structure accesses
  • 279
...
1
2
3
4
...