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