Skip to Main content Skip to Navigation
Conference papers

Constrained Types - Future Directions

Vijay Saraswat 1 David Cunningham 1 Liana Hadarean 2 Louis Mandel 3, 4 Avraham Shinnar 1 Olivier Tardieu 1 
4 Parkas - Parallélisme de Kahn Synchrone
DI-ENS - Département d'informatique - ENS Paris, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
Abstract : The use of constraints in types is quite natural. Yet, integrating constraint based types into the heart of a modern, statically typed, object-oriented programming language is quite tricky. Over the last five years we have designed and implemented the constrained types framework in the programming language X10. In this paper we review the conceptual design, the practical implementation issues, and the many new questions that are raised. We expect the pursuit of these questions to be a profitable area of future work.
Document type :
Conference papers
Complete list of metadata
Contributor : Louis Mandel Connect in order to contact the contributor
Submitted on : Thursday, March 7, 2013 - 7:39:05 PM
Last modification on : Sunday, June 26, 2022 - 11:58:24 AM


  • HAL Id : hal-00798046, version 1



Vijay Saraswat, David Cunningham, Liana Hadarean, Louis Mandel, Avraham Shinnar, et al.. Constrained Types - Future Directions. CP 2012 - 18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec, Canada. ⟨hal-00798046⟩



Record views