All Stories

  1. Formal metatheory of second-order abstract syntax

    Article • Proceedings of the ACM on Programming Languages, January 2022, ACM (Association for Computing Machinery)

    Dmitrij Szamozvancev