XHaskell: Regular Expression Types for Haskell
| dc.contributor.author | Kenny Zhuo Ming LU | en_US |
| dc.contributor.author | Martin SULZMANN | en_US |
| dc.date.accessioned | 2004-10-21T14:28:52Z | en_US |
| dc.date.accessioned | 2017-01-23T06:59:40Z | |
| dc.date.available | 2004-10-21T14:28:52Z | en_US |
| dc.date.available | 2017-01-23T06:59:40Z | |
| dc.date.issued | 2004-09-01T00:00:00Z | en_US |
| dc.description.abstract | 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. | en_US |
| dc.format.extent | 287104 bytes | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.uri | https://dl.comp.nus.edu.sg/xmlui/handle/1900.100/1454 | en_US |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | TRC9/04 | en_US |
| dc.title | XHaskell: Regular Expression Types for Haskell | en_US |
| dc.type | Technical Report | en_US |