Gradually Typing Strategies

Jeff Smits, Eelco Visser. Gradually Typing Strategies. In SLE. 2020.

@inproceedings{SmitsV20,
  title = {Gradually Typing Strategies},
  author = {Jeff Smits and Eelco Visser},
  year = {2020},
  url = {https://conf.researchr.org/home/sle-2020},
  researchr = {https://researchr.org/publication/SmitsV20},
  cites = {0},
  citedby = {0},
  booktitle = {SLE},
}