Nicolas Wu : Publications
|
[1] |
Unifying Recursion Schemes Ralf Hinze‚ Nicolas Wu and Jeremy Gibbons In International Conference on Functional Programming. March, 2013. Submitted for publication |
|
[2] |
Pure and Lazy Lambda Mining: An Experience Report Nicolas Wu‚ José Pedro Magalhães‚ Jeroen Bransen and Wouter Swierstra In Accepted for publication at the 24th Symposium on Implementation and Application of Functional Languages (IFL'12). 2013. |
|
[3] |
Sorting with Bialgebras and Distributive Laws Ralf Hinze‚ Daniel W.H. James‚ Thomas Harper‚ Nicolas Wu and José Pedro Magalhães May, 2012. Accepted to WGP '12 |
|
[4] |
Draft Proceedings of the 24th Symposium on Implementation and Application of Functional Languages (IFL 2012) Ralf Hinze (editor) No. RR−12−06. DCS. 2012. |
|
[5] |
Incremental Updates for Efficient Bidirectional Transformations Meng Wang‚ Jeremy Gibbons and Nicolas Wu In ICFP. September, 2011. |
|
[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. |
|
[7] |
Generative Templates for Formal Metamodel Design Nicolas Wu PhD Thesis Department of Computer Science‚ University of Oxford. October, 2010. |
|
[8] |
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. |
|
[9] |
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. |
|
[10] |
A Functional Implementation of the Formal Template Language Nicolas Wu No. RR−09−10. OUCL. October, 2009. |