39
views
0
recommends
+1 Recommend
0 collections
    0
    shares
      • Record: found
      • Abstract: found
      • Article: found
      Is Open Access

      Typage fort et typage souple des collections topologiques et des transformations

      Preprint

      Read this article at

      Bookmark
          There is no author summary for this article yet. Authors can add summaries to their articles on ScienceOpen to make them more accessible to a non-specialist audience.

          Abstract

          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.

          Related collections

          Author and article information

          Journal
          24 December 2009
          Article
          0912.4878

          http://arxiv.org/licenses/nonexclusive-distrib/1.0/

          Custom metadata
          Journ\'ees francophones des langages applicatifs, Sainte-Marie-de-R\'e : France (2004)
          cs.PL
          ccsd hal-00442431

          Comments

          Comment on this article