[Git][monnier/typer][report/hmdup] -
Stefan pushed to branch report/hmdup at Stefan / Typer Commits: 4cce113f by Stefan Monnier at 2022-09-16T23:31:21-04:00 - - - - - - 1 changed file: - paper.tex Changes: ===================================== paper.tex ===================================== @@ -1191,6 +1191,10 @@ our language is extended as follows: \cite{Odersky96} %System-F inference via type annotations +%% Apparently uses a "worklist" approach, like I'd like to use for +%% Typer. +\cite{Zhao19} %Jinxu Zhao, Bruno C. d. S. Oliveira, and Tom Schrijvers. 2019. A Mechanical Formalization of Higher-ranked Polymorphic Type Inference. Proc. ACM Program. Lang. 3, ICFP, Article 112 (July 2019), 29 pages. https://doi.org/10.1145/3341716 + \section{Conclusion} View it on GitLab: https://gitlab.com/monnier/typer/-/commit/4cce113f1602169d73ab0e6dec9ea645d0... -- View it on GitLab: https://gitlab.com/monnier/typer/-/commit/4cce113f1602169d73ab0e6dec9ea645d0... You're receiving this email because of your account on gitlab.com.
Afficher les réponses par date
participants (1)
-
Stefan (@monnier)