Type Patterns: Pattern Matching on Shape-Carrying Array Types. - Jordy Aaldering; Sven-Bodo Scholz; Bernard van Gastel (IFL, 2023)

Flattening Combinations of Arrays and Records. - Reg Huijben; Jordy Aaldering; Peter Achten; Sven-Bodo Scholz (TFP, 2024)