Literature/newtypes.pdf
author Christian Urban <urbanc@in.tum.de>
Wed, 10 Nov 2010 13:40:46 +0000 (2010-11-10)
changeset 2558 6cfb5d8a5b5b
parent 2379 764342676520
permissions -rw-r--r--
expanded the paper by uncommenting the comments and adding the appendix
(binary:application/pdf)