Project Modeling XML in ML

Objective Caml code for technical report TR-IIS-03-007 of the Institute. (Part of the report is also submitted to a conference for presentation.)

File contains the complete Objective Caml code for the example in Section 8.

Code for my ICFP 2001 paper

Here is some Objective Caml code that maps the DTD of WML (WAP Markup Language) to module expressions. The module expressions are constructed inductively, and the functions for validating WML elements are derived in a generic way. There are four files.

They can be compiled and executed by the following commands (assuming Objective Caml has been installed):

The following string should appears on the screen.

forget o validate = id
validate o forget = id

Comments and questions are most welcome. Please send e-mail to:

t r c @ i i s . s i n i c a . e d u . t w