@article{arntzenius-2019-seminaive,
  author    = {Michael Arntzenius and
               Neel Krishnaswami},
  title     = {Semina{\"{\i}}ve evaluation for a higher-order functional language},
  journal   = {{PACMPL}},
  volume    = {4},
  number    = {{POPL}},
  pages     = {22:1--22:28},
  year      = {2020},,
  doi       = {10.1145/3371090},
}