Constrained Types - Future Directions - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2012

Constrained Types - Future Directions


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.
No file

Dates and versions

hal-00798046 , version 1 (07-03-2013)


  • 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⟩
168 View
0 Download


Gmail Facebook Twitter LinkedIn More