[Git][monnier/typer][report/itd] -
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... -- View it on GitLab: https://gitlab.com/monnier/typer/commit/69a77e46b8c8ebb6e4da5ff9e02e1dd056d6... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan