Yang, Mazières, 2013. Dynamic space limits for Haskell, in: . ACM Press.. https://doi.org/10.1145/2594291.2594341