All Stories

  1. Extending Primitive Recursion to Advanced Type Systems

    Article • July 2024, ACM (Association for Computing Machinery)

    Johannes Schipp von Branitz