@article{2027-type-slicing-popl,
  title = {Bidirectional Type Slicing},
  author = {Max Carroll and Anil Madhavapeddy and Cyrus Omar},
  journal = {Proc. ACM Program. Lang.},
  year = {2027}
}