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...