Brendan Zabarauskas@brendanzabA Theory of Name Resolution by @PierreNeron, Tolmach, @EelcoVisser, @guwac: https://pdfs.semanticscholar.org/0467/a3b0e4afca0712b42f6e96cd879e2b274522.pdf…10:52 PM · Oct 29, 2017·Twitter Web Client
Brendan Zabarauskas@brendanzab·Oct 29, 2017Replying to @brendanzab @PierreNeron and 2 othersCurious as to how many folks are using a graph based approach to name binding over traditional DeBruijn or locally nameless representation 🤔1
