The type and effect discipline

Information and Computation

Volumn 111, Issue 2, 1994, Pages 245-296

  Talpin, Jean Pierre ^a,b   Jouvelot, Pierre ^a  

^a PSL RESEARCH UNIVERSITY   (France)

^b European Computer Industry Research Center ^*  (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 0000549632     PISSN: 08905401     EISSN: 10902651     Source Type: Journal    
DOI: 10.1006/inco.1994.1046     Document Type: Article

References (29)

1. Appel, A. W., and Mac Queen, D. B. (1990), "Standard ML Reference Manual," AT&T Bell Laboratories and Princeton University, October 1990.
2. Damas, L. (1985), "Type Assignment in Programming Languages," Ph.D. Thesis, University of Edinburgh.
3. Duba, B. F., Harper, R., and MacQueen, D. (1991), Typing first-class continuations in ML, in "Proceedings of the 1991 ACM Conference on Principles of Programming Languages," ACM, New York.
4. Felleisen, M., and Friedman, D. P. (1989), A syntactic theory of sequential state, Theoret. Comput. Sci. 69 (3), 243-287.
5. Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. (1987), "FX-87 Reference Manual," MIT/LCS/TR-407, MIT Laboratory for Computer Science.
6. Gordon, M. J., Milner, R., and Wadsworth, C. P. (1979), "Edinburgh LCF." Lectures Notes in Computer Science, No. 78. Springer-Verlag, Berlin.
7. Harper, R., and Lillibridoe, M. (1992), Polymorphic type assignment and CPS conversion, in "1992 SIGPLAN Continuations Workshop."
8. Jouvelot, P., and Gifford, D. K. (1989), Reasoning about continuations with control effects, in "1989 ACM SIGPLAN International Conference on Programming Language Design and Implementation," Portland.
9. Jouvelot, P., and Gifford, D. K. (1991), Algebraic reconstruction of types and effects, in "Proceedings of the 1991 ACM Conference on Principles of Programming Languages," ACM, New York.
10. Kahn, G. (1988), Natural semantics, in "Programming of Future Generation Computers" (K. Fuchi and M. Nivat, Eds.), pp. 237-257, Elsevier, Amsterdam.
11. Leroy, X. (1990), "The ZINC Experiment: An Economical Implementation of the ML Language," Technical Report 117, INRIA, 1990.
12. Leroy, X. (1991), Private Communication.
13. Leroy, X. (1992), "Typage polymorphe d'un langage algorithmique," Doctoral Dissertation, Universite Paris VII.
14. Leroy, X., and Weis, P. (1991), Polymorphic type inference and assignment, in "Proceedings of the 1991 ACM Conference on Principles of Programming Languages," ACM, New York.
15. Lucassen, J. M. (1987), "Types and Effects, Towards the Integration of Functional and Imperative Programming," MIT/LCSTR-408 (Ph.D. Thesis), MIT Laboratory for Computer Science.
16. Lucassen, J. M., and Gifford, D. K. (1988), Polymorphic effect systems, in "Proceedings of the 1988 ACM Conference on Principles of Programming Languages," ACM, New York.
17. Milner, R. (1978), A Theory for type polymorphism in programming, J. Comput. Systems Sci. 17, 348-375.
18. Milner, R., Tofte, M., Harper, R. (1990), "The Definition of Standard ML," The MIT Press, Cambridge.
19. Milner, R., and Tofte, M. (1991), Co-induction in relational semantics, Theoret. Comput. Sci. 87, 209-220.
20. O'Toole, J. W. (1989), "Polymorphic Type Reconstruction," Master Thesis, MIT Laboratory for Computer Science.
21. O'Toole, J. W. (1990), "Type Abstraction Rules for Reference: A Comparison of Four Which Have Achieved Notoriety," Technical Report 390, MIT Laboratory for Computer Science.
22. Plotkin, G. (1981), A structural Approach to Operational Semantics," Technical Report DAIMI-FN-19, Aarhus University.
23. Rees, J., and Clinger, W., Eds. (1991), "Fourth Report on the Algorithmic Language Scheme," MIT Laboratory for Computer Science.
24. Robinson, J. A. (1965), A machine oriented logic based on the resolution principle, J. Assoc. Comput. Mach. 12 (1), 23-41.
25. Talpin, J. P., and Jouvelot, P. (1992a), The type and effect discipline, in "Proceedings of the 1992 IEEE Conference on Logic in Computer Science, Santa Cruz, California, June 1992."
26. Talpin, J. P., and Jouvelot, P. (1992b), Polymorphic type, region and effect inference, J. Funct. Programming 2 (3).
27. Tofte, M. (1987), "Operational Semantics and Polymorphic Type Inference," Ph.D. Thesis and Technical Report ECS-LFCS-88-54, University of Edinburgh.
28. Wright, A. K. (1992), Typing references by effect inference, in "Proceedings of the 1992 European Symposium on Programming," Lecture Notes in Computer Science, Vol. 582, pp. 473-491, Springer-Verlag, New York/Berlin.
29. Wright, A. K., and Felleisen, M. (1992), "A Syntactic Approach to Type Soundness," Technical Report TR91-160, Rice University.