A Type-Safe Embedding of XDuce into ML
Open Access
- 24 March 2006
- journal article
- Published by Elsevier BV in Electronic Notes in Theoretical Computer Science
- Vol. 148 (2), 239-264
- https://doi.org/10.1016/j.entcs.2005.11.047
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- XML Goes Native: Run-Time Representations for XtaticLecture Notes in Computer Science, 2005
- Static analysis of XML transformations in javaIEEE Transactions on Software Engineering, 2004
- Compiling regular patternsPublished by Association for Computing Machinery (ACM) ,2003
- A typed representation for HTML and XML documents in HaskellJournal of Functional Programming, 2002
- XDuce: A Typed XML Processing Language (Preliminary Report)Lecture Notes in Computer Science, 2001
- Regular expression types for XMLPublished by Association for Computing Machinery (ACM) ,2000
- Regular expression types for XMLACM SIGPLAN Notices, 2000