A type-safe embedding of XDuce into ML

Electronic Notes in Theoretical Computer Science

Volumn 148, Issue 2, 2006, Pages 239-264

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

^a NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

Language integration extension; Program transformation; Semi structured data handling

Indexed keywords

DATA STRUCTURES; INFERENCE ENGINES; PATTERN MATCHING; SEMANTICS; XML;

LANGUAGE INTEGRATION/EXTENSION; PROGRAM TRANSFORMATION; SEMI-STRUCTURED DATA HANDLING;

EMBEDDED SYSTEMS;

EID: 33644922932     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2005.11.047     Document Type: Conference Paper

References (31)

1. V.M. Antimirov Rewriting regular inequalities Proc. of FCT'95 LNCS volume 965 1995 Springer-Verlag 116 125
2. F. Atanassow, and J. Jeuring Inferring type isomorphisms generically Proc. of MPC'04 LNCS volume 3125 2004 Springer-Verlag 32 53
3. V. Benzaken, G. Castagna, and A. Frisch CDuce: An XML-centric general-purpose language Proc. of ICFP '03 2003 ACM Press 51 63
4. ω Proc of ECOOP 05 2005 Spring-Verlag 287 311
5. M. Brandt, and F. Henglein Coinductive axiomatization of recursive type equality and subtyping Fundam. Inf. 33 4 1998 09 338
6. N. Broberg, A. Farre, and J. Svenningsson Regular expression patterns Proc. of ICFP'04 2004 ACM Press 67 78
7. B. Emir. Compiling regular patterns to sequential machines. Technical report, École Polytechnique Fédérale de Lausanne, 2004 http://icwww.epfl.ch/publications/documents/IC_TECH_REPORT_200472.pdf
8. A. Frisch OCamlDuce http://www.cduce.org/ocaml.html
9. Alain Frisch Regular tree language recognition with static information IFIP TCS 2004 Kluwer 661 674
10. V. Gapeyev, M. Y. Levin, B. C. Pierce, and A. Schmitt. XML goes native: Run-time representations for Xtatic. In 14th International Conference on Compiler Construction, pages 43-58, April 2005
11. V. Gapeyev, and B.C. Pierce Regular object types ECOOP '03 LNCS volume 2743 2003 Springer 151 175 A preliminary version was presented at FOOL '03
12. Haskell 98 language report, http://research.microsoft.com/~simonpj/ haskell98-revised/haskell98-report-html/
13. H. Hosoya. Regular Expression Types for XML. PhD thesis, The University of Tokyo, December 2000
14. H. Hosoya. Regular expression filter. In PLAN-X '04 Informal Proceedings, 2004
15. H. Hosoya, A. Frisch, and G. Castagna Parametric polymorphism for XML Proc. of POPL'05 2005 ACM Press
16. H. Hosoya and B. C. Pierce. XDuce: A typed XML processing language (preliminary report). In Proc. of Third International Workshop on the Web and Databases (WebDB2000), volume 1997, pages 226-244, 2000
17. H. Hosoya, and B.C. Pierce Regular expression pattern matching for XML Proc. of POPL '01 2001 ACM Press 67 80
18. H. Hosoya, J. Vouillon, and B.C. Pierce Regular expression types for XML ACM SIGPLAN Notices 35 9 2000 1 22
19. M. Kempa, and V. Linnemann Type checking in XOBE Proc. Datenbanksysteme fur Business, Technologie und Web BTW '03, LNI 2003 GI 227 246
20. R. Kierssling, and Z. Luo Coercions in Hindley-Milner systems Proc. of Inter. Conf. on Proofs and Types LNCS volume 3085 2004 Springer-Verlag 259 275
21. C. Kirkegaard, A. Møller, and M.I. Schwartzbach Static analysis of XML transformations in Java IEEE Transaction on Software Engineering 30 3 2004 81 0-6
22. Michael Y. Levin. Compiling regular patterns. In Proc of ICFP 03, pages 65-77, 2003
23. K.Z.M. Lu, and M. Sulzmann An implementation of subtyping among regular expression types Proc. of APLAS'04 LNCS 2004 Springer-Verlag 57 73
24. J.C. Mitchell Coercion and type inference Proc of POPL 84 1984 ACM-Press 175 185
25. Objective Caml. http://pauillac.inria.fr/ocaml//
26. M. Sulzmann and K.Z.M. Lu. A type-safe embedding of XDuce into ML. Technical report, The National University of Singapore, 2005. forthcoming
27. P. Thiemann A typed representation for HTML and XML documents in Haskell Journal of Functional Programming 12 4 and 5 July 2002 435 468
28. S. Vansummeren Type inference for unique pattern matching http://alpha.luc.ac.be/~lucg5855/files/matchinfer.ps.gz To appear in ACM TOPLAS
29. P. Wadler Deforestation: transforming programs to eliminate trees Proc. of ESOP'88 1988 North-Holland Publishing Co. 231 248
30. M. Wallace, and C. Runciman Haskell and XML: Generic combinators or type-based translation? ICFP '99 1999 ACM Press 148 159
31. G. Winskel The Formal Semantics of Programming Languages: An Introduction 1993 MIT Press