This paper was presented at the Off the Beaten Track (OBT) workshop at POPL 2018.
It is based on works done as part of my thesis at < https://j.mp/FarePhD >.
See also my previous presentation on First-class Implementations at BostonHaskell in 2016 at < https://youtu.be/heU8NyX5Hus >, or the one at LambdaConf 2018 at < https://youtu.be/fH51qhI3hq0 >.
A PDF version of the paper (2 pages + bibliography overflow) can be found here:
You need Racket using Scribble, plus some (La)TeX distribution.