@article{lafont-2026-semantics,
  author    = {Ambroise Lafont and
               Neel Krishnaswami},
  title     = {Semantics of pattern unification},
  journal   = {J. Funct. Program.},
  volume    = {35},
  year      = {2025},,
  doi       = {10.1017/s0956796825100130},
}