Brendan Zabarauskas@brendanzab·Oct 29, 2017A Theory of Name Resolution by @PierreNeron, Tolmach, @EelcoVisser, @guwac: https://pdfs.semanticscholar.org/0467/a3b0e4afca0712b42f6e96cd879e2b274522.pdf…1
Brendan Zabarauskas@brendanzabCurious as to how many folks are using a graph based approach to name binding over traditional DeBruijn or locally nameless representation 🤔11:02 PM · Oct 29, 2017·Twitter Web Client1 Quote Tweet
