Ernst, Ali, 2010. Building and using pluggable type systems, in: . ACM Press.. https://doi.org/10.1145/1882291.1882356