@misc{artifact,
  author= {Muehlboeck, Fabian and Tate, Ross},
	title = {Transitioning from Structural to Nominal Code with Efficient Gradual Typing: Artifact},
	year = {2021},
	doi = {10.5281/zenodo.5518181}
}