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