All Stories

  1. Dependently-typed data plane programming

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

    Matthias Eichholz