An implementation of subtyping among regular expression types

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 3302, Issue , 2004, Pages 57-73

  Lu, Kenny Zhuo Ming ^a   Sulzmann, Martin ^a  

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL LINGUISTICS; FORMAL LANGUAGES; OBJECT ORIENTED PROGRAMMING;

HASKELL; REGULAR EXPRESSIONS; RUNTIMES; SUBTYPINGS; TYPE CLASS;

PATTERN MATCHING;

EID: 35048847212     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-30477-7_5     Document Type: Article

References (22)

1. A. Aiken and B. Murphy. Implementing regular tree expressions. In Proc. of FPCA'91, volume 523 of LNCS, pages 427-447. Springer, 1991.
2. V.M. Antimirov. Rewriting regular inequalities. In Proc. of FCT'95, volume 965 of LNCS, pages 116-125. Springer-Verlag, 1995.
3. V. Benzaken, G. Castagna, and A. Frisch. Cduce: An XML-centric general-purpose language. In Proc. of ICFP '03, pages 51-63. ACM Press, 2003.
4. K. Crary. Foundations for the implementation of higher-order subtyping. In Proc. of ICFP'97, pages 125-135. ACM Press, 1997.
5. G.J. Duck, S. Peyton-Jones, P.J. Stuckey, and M. Sulzmann. Sound and decidable type inference for functional dependencies. In Proc. of ESOP'04, volume 2986 of LNCS, pages 49-63. Springer-Verlag, 2004.
6. A. Frisch and L. Cardelli. Greedy regular expression matching. In In PLAN-X '04 Informal Proceedings, 2004.
7. Glasgow Haskell compiler home page, http://www.haskell.org/ghc/.
8. C.V. Hall, K. Hammond, S. Peyton Jones, and P. Wadler. Type classes in Haskell. In Proc. of ESOP'94, volume 788 of LNCS, pages 241-256. Springer, April 1994.
9. H. Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, December 2000.
10. H. Hosoya and B.C. Pierce. Regular expression pattern matching for XML. In Proc. of POPL '01, pages 67-80. ACM Press, 2001.
11. H. Hosoya, J. Vouillon, and B.C. Pierce. Regular expression types for XML. ACM SIGPLAN Notices, 35(9):11-22, 2000.
12. M.P. Jones. Type classes with functional dependencies. In Proc. of ESOP 2000, volume 1782 of LNCS. Springer, March 2000.
13. M. Kempa and V. Linnemann. Type checking in XOBE. In Proc. Datenbanksysteme fur Business, Technologie und Web, BTW '03, LNI, page 227-246 GI, 2003.
14. K.Z.M. Lu and M. Sulzmann. XHaskell, 2004. http://www.comp.nus.edu.sg/ ~luzm/xhaskell.
15. K.Z.M. Lu and M. Sulzmann. An implementation of subtyping among regular expression types. Technical report, The National University of Singapore, 2004. http://www.comp.nus.edu.sg/~luzm/xhaskell/tr-impsubtype.ps.
16. M. Neubauer, P. Thiemann, M. Gasbichler, and M. Sperber. Functional logic overloading. In Proc. of POPL'02, pages 233-244. ACM Press, 2002.
17. S. Peyton Jones et al. Report on the programming language Haskell 98, February 1999. http://haskell.org.
18. P.J. Stuckey and M. Sulzmann. A theory of overloading. In Proc. of ICFP'02, pages 167-178. ACM Press, 2002.
19. P.J. Stuckey, M. Sulzmann, and J. Wazny. Interactive type debugging in Haskell. In Proc. of Haskell Workshop'03, pages 72-83. ACM Press, 2003.
20. M. Sulzmann and J. Wazny. The Chameleon system, July 2004. http://www.comp.nus.edu.sg/~sulzmann/chameleon.
21. P. Thiemann. A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming, 12(4 and 5):435-468, July 2002.
22. M. Wallace and C. Runciman. Haskell and XML: Generic combinators or type-based translation? In ICFP '99, pages 148-159. ACM Press, 1999.