Nicolas Wu : Publications
|
[1] |
A Functional Implementation of the Formal Template Language Nicolas Wu No. RR−09−10. OUCL. October, 2009. |
|
[2] |
Generative Templates for Formal Metamodel Design Nicolas Wu PhD Thesis Department of Computer Science‚ University of Oxford. October, 2010. |
|
[3] |
Incremental Updates for Efficient Bidirectional Transformations Meng Wang‚ Jeremy Gibbons and Nicolas Wu In ICFP. September, 2011. |
|
[4] |
Proceedings of the Oxford University Computing Laboratory Student Conference 2009 Programme Co−Chairs: Lu Feng‚ John Lyle and Nicolas Wu No. RR−09−14. OUCL. November, 2009. |
|
[5] |
Towards Formally Templated Relational Database Representations in Z Nicolas Wu and Andrew Simpson In Proceedings of the Second International Conference on Abstract State Machines‚ Alloy‚ B and Z (ABZ 2010). Vol. 5977 of Lecture Notes in Computer Science. Pages 363−376. Springer−Verlag. 2010. |
|
[6] |
Towards a Categorical Foundation for Generic Programming Ralf Hinze and Nicolas Wu In Jaakko Järvi and Shin−Cheng Mu, editors, ACM SIGPLAN 7th Workshop on Generic Programming. 2011. |