[Typer] Typer paper for ELS-2017

30 Jan 2017


      I just saw that the deadline for ELS has been pushed to Feb 6, so we
have a bit more time to clean up the paper.
Stefan