Please use this identifier to cite or link to this item: http://scholarbank.nus.edu.sg/handle/10635/15878
Title: XHaskell - Adding regular expression types to haskell
Authors: LU ZHUO MING
Keywords: Type system, regular expression, functional programming
Issue Date: 4-Jun-2009
Source: LU ZHUO MING (2009-06-04). XHaskell - Adding regular expression types to haskell. ScholarBank@NUS Repository.
Abstract: Functional programming and XML form a good match. Higher order function and parametric polymorphism equip the programmer with powerful abstraction facilities while pattern matching over algebraic data types allows for a convenient notation to specify XML transformation. Previous works in extending Haskell with XML processing features focus ongiving a data model for XML values, so that XML transformations can be expressed in terms of Haskell combinators. Unfortunately, XML processing in Haskell does not provide the same static guarantees compared to XML processing in domain specific language such as XDuce and CDuce. In this thesis, we introduce an extension of Haskell, baptized XHaskell, which integrates XDuce features such as regular expression types, subtyping and regular expression pattern matching into Haskell. In addition, we also support the combination of regular expression types parametric polymorphism and type classes which to the best of our knowledge has not been studied before.
URI: http://scholarbank.nus.edu.sg/handle/10635/15878
Appears in Collections:Ph.D Theses (Open)

Show full item record
Files in This Item:
File Description SizeFormatAccess SettingsVersion 
LuZhuoMing-HT016638J.pdf1.06 MBAdobe PDF

OPEN

NoneView/Download

Page view(s)

293
checked on Dec 11, 2017

Download(s)

298
checked on Dec 11, 2017

Google ScholarTM

Check


Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.