Fri, 11 Jun 2010 14:04:58 +0200 | Christian Urban | more to the introduction of the qpaper | changeset | files |
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 |