Browsing by Author "Martin SULZMANN"

Now showing 1 - 2 of 2
  • No Thumbnail Available
    Item
    An Implementation of Subtyping among Regular Expression Types
    (2004-09-01T00:00:00Z) Kenny Zhuo Ming LU; Martin SULZMANN
    We introduce a novel implementation of subtyping among regular expression types in terms of Haskell-style type classes by making use of some modest type class extensions. We assume that each regular expression type has some underlying structured runtime representation. Hence,we not only check for the containment problem among regular expressions, but also automatically derive some appropriate casting functions among the underlying structured values. We believe that this work is the first step in adding type-safe XML support to languages such as Haskell.
  • No Thumbnail Available
    Item
    XHaskell: Regular Expression Types for Haskell
    (2004-09-01T00:00:00Z) Kenny Zhuo Ming LU; Martin SULZMANN
    We introduce an extension of Haskell baptized XHaskell with regular expression types, regular expression pattern matching and semantic subtyping in style of XDuce. The basic idea behind our approach is to make use of Haskell's type class system (with some modest extensions) to verify type correctness and to translate XHaskell to Haskell. A novel feature of XHaskell is to support Hindley/Milner style poly-morphism (among regular expression types) and a limited form of higher-order functions.