The Type and Effect Discipline

@article{Talpin1994TheTA,
  title={The Type and Effect Discipline},
  author={Jean-Pierre Talpin and Pierre Jouvelot},
  journal={Inf. Comput.},
  year={1994},
  volume={111},
  pages={245-296}
}
The type and e ect discipline is a new framework for reconstructing the principal type and the minimal e ect of expressions in implicitly typed polymorphic functional languages that support imperative constructs The type and e ect discipline outperforms other polymorphic type systems Just as types abstract collections of concrete values e ects denote imperative operations on regions Regions abstract sets of possibly aliased memory locations E ects are used to control type generalization in the… CONTINUE READING
Highly Cited
This paper has 21 citations. REVIEW CITATIONS

References

Publications referenced by this paper.
Showing 1-9 of 9 references

A Theory for Type Polymorphism in Programming

R. Milner
[Milner, • 1978
View 4 Excerpts
Highly Influenced

X

Leroy
Private Communication, • 1991
View 3 Excerpts
Highly Influenced

A Syntactic Approach

Wright, Felleisen, A. K. 1992 Wright, M. Felleisen
1992

Polymorphic type assign

Harper, Lillibridge, R. 1992 Harper, M. Lillibridge
1992

The Type and E

Talpin, Jouvelot, J. P. June 1992 Talpin, P. Jouvelot
1992

The ZINC Experiment: an Economical Implementation of the ML

Leroy, X. 1990 Leroy
1990

Type Abstraction Rules for References: a Comparison

O'Toole, J. W. 1990 O'Toole
1990

Operational Semantics and Polymorphic Type Inference

Tofte, M. 1987 Tofte
1987

Similar Papers

Loading similar papers…