@inproceedings{HiW11Cat,
  title = "Towards a Categorical Foundation for Generic Programming",
  author = "Hinze, Ralf and Wu, Nicolas",
  year = "2011",
  booktitle = "ACM SIGPLAN 7th Workshop on Generic Programming",
  editor = "J\"{a}rvi, Jaakko and Mu, Shin-Cheng",
  location = "Tokyo, Japan",
  url = "http://www.cs.ox.ac.uk/ralf.hinze/WGP11.html",
}
@inproceedings{align,
  title = "Incremental Updates for Efficient Bidirectional Transformations",
  author = "Meng Wang and Jeremy Gibbons and Nicolas Wu",
  year = "2011",
  booktitle = "ICFP",
  month = "September",
  url = "http://www.comlab.ox.ac.uk/jeremy.gibbons/publications/align.pdf",
}
@phdthesis{wu2010,
  title = "Generative Templates for Formal Metamodel Design",
  author = "Nicolas Wu",
  year = "2010",
  month = "October",
  school = "Department of Computer Science, University of Oxford",
}
@inproceedings{3576,
  title = "Towards Formally Templated Relational Database Representations in Z",
  author = "Nicolas Wu and Andrew Simpson",
  year = "2010",
  booktitle = "Proceedings of the Second International Conference on Abstract State Machines, Alloy, B and Z ({ABZ} 2010)",
  pages = "363-376",
  publisher = "Springer-Verlag",
  series = "Lecture Notes in Computer Science",
  volume = "5977",
}
@techreport{RR-09-14,
  title = "Proceedings of the Oxford University Computing Laboratory Student Conference 2009",
  author = "Programme Co-Chairs: Lu Feng and John Lyle and Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "November",
  number = "RR-09-14",
  pages = "33",
}
@techreport{RR-09-10,
  title = "A Functional Implementation of the Formal Template Language",
  author = "Nicolas Wu",
  year = "2009",
  institution = "OUCL",
  month = "October",
  number = "RR-09-10",
  pages = "20",
}