@article{gdf-toplas-2023,
  author={Ben Greenman and Christos Dimoulas and Matthias Felleisen},
  title={Typed--Untyped Interactions: A Comparative Analysis},
  journal={{TOPLAS}},
  volume={45},
  issue={1},
  number={4},
  pages={1--54},
  doi={10.1145/3579833},
  year={2023}
}