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