Stefan pushed to branch report/itd at Stefan / Typer
Commits: 69a77e46 by Stefan Monnier at 2018-11-06T18:51:17Z -
- - - - -
1 changed file:
- paper.tex
Changes:
===================================== paper.tex ===================================== @@ -1669,6 +1669,7 @@ judgments into the logic:
\section{Related works}
+\nocite{Luo09} \nocite{Gimenez94} \nocite{Blume06,Castagna16} %Union types and extensible sums \nocite{Chapman10} %Levitation
View it on GitLab: https://gitlab.com/monnier/typer/commit/69a77e46b8c8ebb6e4da5ff9e02e1dd056d6...