@article{gfd-oopsla-2019,
  author={Greenman, Ben and Felleisen, Matthias and Dimoulas, Christos},
  title = {Complete Monitors for Gradual Types},
  journal = {{PACMPL}},
  volume = {3},
  number = {{OOPSLA}},
  pages = {122:1--122:29},
  year={2019},
  doi={https://doi.org/10.1145/3360548}
}