Paper on blocked matmul for ARRAY'23
JFP pearl about rank-polymorphic scan and array theory
My experiments with defining syntax for deeply-embedded DSLs.