Jian Xu's Publications

1. Mei — A Module System for Mechanized Mathematics Systems PDF

   J. Xu
   Ph.D. Thesis, 193 pp., McMaster University, January 2008.

2. Mei — A Module System for Mechanized Mathematics Systems PDF

   J. Xu
   Technical Report No. CAS-07-01-WF, McMaster University, 225 pp., 2008.
   Extended version of the thesis above with the OCaml implementation of Mei given in an appendix.

3. Mei — A Module System for Mechanized Mathematics Systems

   J. Xu
   In: J. Carette and F. Wiedijk, eds., Proceedings of Programming Languages for Mechanized Mathematics Workshop (PLMMS 2007), 17 pp., RISC-Linz Report No.~07--10, Hagenburg, Austria, June 29-30, 2007.

4. OCaml Implementation of Mei Code

   J. Xu
   McMaster University, 2007.

5. First and Second Order Recursion on Abstract Data Types PDF

   J. Xu and J. Zucker
   Fundamenta Informaticae 21:1-43, 2004.

6. Models of Computation on Abstract Data Types based on Recursive Schemes PDF

   J. Xu
   M.Sc. Thesis, 80 pp., McMaster University, 2003.