All Stories

  1. A cost-aware logical framework

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

    Professor Robert Harper, Harrison Grodin