diff -r 95ea2ffaa094 -r 12f493dd6089 publications.html --- a/publications.html Sun Jun 04 01:20:04 2017 +0100 +++ b/publications.html Fri Jun 16 21:39:27 2017 +0100 @@ -37,7 +37,7 @@ + ROWSPAN="22"> Links
Home
@@ -88,6 +88,19 @@ (with Zhang and Wu) Journal version. Submitted. [pdf] +

Modelling Homogeneous Generative Meta-Programming + (with Berger and Tratt) + In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017). + In Volume 74 + of Leibniz International Proceedings in Informatics (LIPIcs). Pages 5:1-23. + Schloss Dagstuhl-Leibniz-Zentrum, 2017. + [pdf] + + + + + +

2016

POSIX Lexing with Derivatives of Regular Expressions (with Ausaf and Dyckhoff) In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016). @@ -97,6 +110,7 @@ +

2015