--- 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 @@
<TD BGCOLOR="#FFFFFF"
WIDTH="24%"
VALIGN="TOP"
- ROWSPAN="21">
+ ROWSPAN="22">
<B>Links</B><BR>
<A HREF="http://nms.kcl.ac.uk/christian.urban/">Home</A><BR>
@@ -88,6 +88,19 @@
(with Zhang and Wu) Journal version. Submitted.
[<A HREF="http://nms.kcl.ac.uk/christian.urban/Publications/pip.pdf">pdf</A>]
+<p><B>Modelling Homogeneous Generative Meta-Programming</B>
+ (with Berger and Tratt)
+ In Proceedings of the 31st European Conference on Object-Oriented Programming (ECOOP 2017).
+ In Volume <A HREF="http://drops.dagstuhl.de/portals/extern/index.php?semnr=16035">74</A>
+ of Leibniz International Proceedings in Informatics (LIPIcs). Pages 5:1-23.
+ Schloss Dagstuhl-Leibniz-Zentrum, 2017.
+ [<A HREF="http://drops.dagstuhl.de/opus/volltexte/2017/7277">pdf</A>]
+</TD>
+</TR>
+
+<TR>
+<TD BGCOLOR="FFFFFF" WIDTH="75%">
+<H3>2016</H3>
<p><B>POSIX Lexing with Derivatives of Regular Expressions</B>
(with Ausaf and Dyckhoff)
In Proceedings of the 7th International Conference on Interactive Theorem Proving (ITP 2016).
@@ -97,6 +110,7 @@
</TD>
</TR>
+
<TR>
<TD BGCOLOR="FFFFFF" WIDTH="75%">
<H3>2015</H3>