lafont-2026-semantics:
  type: article
  title: Semantics of pattern unification
  author:
  - Lafont, Ambroise
  - Krishnaswami, Neelakantan R.
  date: 2025
  serial-number:
    doi: 10.1017/s0956796825100130
  parent:
    type: periodical
    title: J. Funct. Program.
    publisher: Cambridge University Press (CUP)
    volume: 35