-

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}