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