A programming language that extends the ordinary lambda calculus with a notion of meta variable.

  • I have a copy of this paper stored in Goodnotes
  • ACM link: https://dl.acm.org/doi/abs/10.1145/2676726.2676976