All Stories

  1. Type-level programming with match types

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

    Maxime Kjaer