Goldberg, Benjamin, and Young Gil Park. "Higher order escape analysis: optimizing stack allocation in functional program implementations." European Symposium on Programming. Springer, Berlin, Heidelberg, 1990.
最初、e1 -> e2, e3 という構文がなんなのかわかんなくて悩んだのだが、 if e1 then e2 else e3 という意味だった
Park, Young Gil, and Benjamin Goldberg. "Escape analysis on lists." Proceedings of the ACM SIGPLAN 1992 conference on Programming language design and implementation. 1992.
なお、後続の (リストを扱えるという) こっちの論文では if e1 then e2 else e3 となっていた
[latest]