@article{ICFP-2018-GreenmanF,
	author        = "Ben Greenman and Matthias Felleisen",
	doi           = "10.1145/3236766",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "ICFP",
	pages         = "32",
	title         = "{A spectrum of type soundness and performance}",
	volume        = 2,
	year          = 2018,
}