Typage fort et typage souple des collections topologiques et des transformations

Details Typage fort et typage souple des collections topologiques et des transformations Typage fort et typage souple des collections topologiques et des transformations

2009-12-24

arxiv.org/abs/0912.4878v1

Journ\'ees francophones des langages applicatifs, Sainte-Marie-de-R\'e : France (2004)

Computer Science

Programming Languages

Scientific paper

Topological collections allow to consider uniformly many data structures in programming languages and are handled by functions defined by pattern matching called transformations. We present two type systems for languages with topological collections and transformations. The first one is a strong type system \`a la Hindley/Milner which can be entirely typed at compile time. The second one is a mixed static and dynamic type system allowing to handle heterogeneous collections, that is collections which contain values with different types. In the two cases, automatic type inference is possible.

Affiliated with

Also associated with

No associations

Rating

Typage fort et typage souple des collections topologiques et des transformations does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Typage fort et typage souple des collections topologiques et des transformations, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Typage fort et typage souple des collections topologiques et des transformations will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-555941