All Stories

  1. Type Patterns: Pattern Matching on the Shapes of Multi-Dimensional Array Types

    Article • August 2023, ACM (Association for Computing Machinery)

    Sven-Bodo Scholz, Jordy Aaldering