Thu, 10 Jun 2010 13:37:32 +0200 | Christian Urban | adapted to the official sigplan style file (this gives us more space) | changeset | files |
Thu, 10 Jun 2010 13:28:38 +0200 | Christian Urban | added to the popl-paper a pointer to work by Altenkirch | changeset | files |
Thu, 10 Jun 2010 10:53:51 +0200 | Christian Urban | more on the qpaper | changeset | files |
Mon, 07 Jun 2010 16:17:35 +0200 | Christian Urban | new title for POPL paper | changeset | files |