Effect systems with subtyping

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback

Effect systems with subtyping

Full text

Pdf (639 KB)

Source

ACM/SIGPLAN Workshop Partial Evaluation and Semantics-Based Program Manipulation archive
Proceedings of the 1995 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation table of contents

La Jolla, California, United States

Pages: 45 - 53

Year of Publication: 1995

ISBN:0-89791-720-0

Authors

Yan Mei Tang	Centre de Recherche en Informatique, Ecole Des Mines de Paris
Pierre Jouvelot	Centre de Recherche en Informatique, Ecole Des Mines de Paris

Sponsor

SIGPLAN: ACM Special Interest Group on Programming Languages

Publisher

ACM New York, NY, USA

Bibliometrics

Downloads (6 Weeks): 0, Downloads (12 Months): 8, Citation Count: 5

Additional Information:

references cited by index terms collaborative colleagues

Tools and Actions:	Request Permissions Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

DOI Bookmark:	Use this link to bookmark this Article: http://doi.acm.org/10.1145/215465.215552 What is a DOI?

REFERENCES

Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.

	Cardelli88	L. Cardelli, Structural subtyping and the notion of power type, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.70-79, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73566]
	Consel93	Consel, C., and Jouvelot, P. Separate Polyvariant Binding-Time Analysis. OGI Tech. Rep. CS/E 93- 006, March 1993.
	Consel94	Consel, C., Jouvelot, P., and Orbaek, P. Separate Polyvariant Binding-Time Reconstruction. Technical Report A-261, Ecole des Mines de Paris, July 1994.
	Dornic91	Dornic, V. and Jouvelot, P. Polymorphic Time Systems for Estimating Program Complexity. In JTASPEFL'91, Bordeaux, France, 1991.
	Gifford87	Gifford, D. K., Jouvelot, P., Lucassen, J. M., and Sheldon, M. A. FX-87 Reference Manual. MIT/LCS/TR-407, MIT Laboratory for Computer Science, September 1987.
	Milner78	Milner, R. A Theory for type polymorphism in programming. In Journal of Computer and Systems Sciences, Vol. 17, pages 348-375, 1978.
	Plotkin81	Plotkin, G. A structural approach to operational semantics. Technical report DAIMI-FN-19. Aarhus University, 1981.
	Stansifer88	R. Stansifer, Type inference with subtypes, Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.88-97, January 10-13, 1988, San Diego, California, United States [doi>10.1145/73560.73568]
	Talpin92	Talpin, J. P., and Jouvelot, P. Polymorphic Type, Region and Effect Inference. In the Journal of Functional Programming, volume 2, number 3. Cambridge University Press, 1992.
	Tang92	Tang, Y. M., and Jouvelot, P. Control-Flow Elfects for Closure Analysis. In Proceedings of the 2nd Workshop on Semantics Analysis, Bigre numbers 81-82, pages 313-321. Bordeaux, October 1992.
	Tang94-1	Tang, Y. M. Syst~mes d'Effet et Interpretation Abstraite pour l'Analyse de Flot de ContrSle. Doctoral Dissertation. Ecole des Mines de Paris et Universit~ Paris VI, March 1994.
	Tang94-2	Yan Mei Tang , Pierre Jouvelot, Separate Abstract Interpretation for Control-Flow Analysis, Proceedings of the International Conference on Theoretical Aspects of Computer Software, p.224-243, April 19-22, 1994
	Tofte87	Torte, M. Operational semantics and polymorphic type inference. PhD Thes~s, University of Edinburgh, 1987.
	Wand87	Wand, M. Complete type inference for simple objects. In Proceedings of the 2nd IEEE Symposium on Logic in Computer Science, 1987, pages 37-44.

CITED BY 5

	Martín Abadi , Anindya Banerjee , Nevin Heintze , Jon G. Riecke, A core calculus of dependency, Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.147-160, January 20-22, 1999, San Antonio, Texas, United States
	Jens Palsberg, Type-based analysis and applications, Proceedings of the 2001 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering, p.20-27, June 2001, Snowbird, Utah, United States
	Nobuko Yoshida , Matthew Hennessy, Assigning types to processes, Information and Computation, v.174 n.2, p.143-179, May 1 2002
	Matthias Neubauer , Peter Thiemann, From sequential programs to multi-tier applications by program transformation, ACM SIGPLAN Notices, v.40 n.1, p.221-232, January 2005
	Anindya Banerjee , Thomas Jensen, Modular control-flow analysis with rank 2 intersection types, Mathematical Structures in Computer Science, v.13 n.1, p.87-124, February 2003