Jian Xu's Publications

  1. Mei — A Module System for Mechanized Mathematics Systems PDF
    J. Xu
    Ph.D. Thesis, 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.