@article{ICFP-2018-WeiDR,
	author        = "Guannan Wei and James M. Decker and Tiark Rompf",
	doi           = "10.1145/3236800",
	journal       = "{Proceedings of the ACM on Programming Languages}",
	number        = "ICFP",
	pages         = "28",
	title         = "{Refunctionalization of abstract abstract machines: bridging the gap between abstract abstract machines and abstract definitional interpreters (functional pearl)}",
	volume        = 2,
	year          = 2018,
}