@inproceedings{li_etal_2025,
  author    = {Runming Li and
               Yue Yao and
               Robert Harper},
  title     = {Mechanizing Synthetic Tait Computability in Istari},
  booktitle = {CPP},
  pages     = {231--247},
  publisher = {{ACM}},
  year      = {2026},,
  doi       = {10.1145/3779031.3779085},
}