めるうぇい

<h2 id="contextual-typing-(bidirectional-typing)" data-line="0" class="code-line">
<a class="header-anchor-link" href="#contextual-typing-(bidirectional-typing)" aria-hidden="true"></a> contextual typing (bidirectional typing)</h2>
<ul data-line="2" class="code-line">
<li data-line="2" class="code-line">Benjamin C Pierce and David N Turner. 2000. Local type inference. ACM Transactions on Programming Languages and<br>
Systems (TOPLAS) 22, 1 (2000), 1–44.</li>
<li data-line="4" class="code-line">Jana Dunfield and Neel Krishnaswami. 2021. Bidirectional typing. ACM Computing Surveys (CSUR) 54, 5 (2021), 1–38</li>
<li data-line="5" class="code-line">Xu Xue and Bruno C. d. S. Oliveira. 2024. Contextual Typing. Proc. ACM Program. Lang. 8, ICFP, Article 266<br>
(August 2024), 29 pages. <a href="https://doi.org/10.1145/3674655" target="_blank" rel="nofollow noopener noreferrer">https://doi.org/10.1145/3674655</a>
</li>
</ul>
