The literature presents many strategies for enforcing the integrity of types when typed code interacts with untyped code. This article presents a uniform evaluation framework that characterizes the differences among some major existing semantics for typed–untyped interaction. Type system designers can use this framework to analyze the guarantees of their own dynamic semantics.

@article{paperbot2137,
  title = {Typed–Untyped Interactions: A Comparative Analysis},
  author = {Ben Greenman and Christos Dimoulas and Matthias Felleisen},
  journal = {ACM Transactions on Programming Languages and Systems},
  volume = {45},
  number = {1},
  year = {2023},
  doi = {10.1145/3579833}
}