@article{glfd-pj-2022,
  author={Ben Greenman and Lukas Lazarek and Christos Dimoulas and Matthias Felleisen},
  title={A Transient Semantics for {Typed Racket}},
  journal={Programming},
  volume={6},
  number={2},
  pages={1--25},
  year={2022}
}