from How does a stackless language work? Haskell (as commonly implemented) does not have a call stack; evaluation is based on graph reduction. Really? That's interesting, because while I've nev...

I'm trying to find a formal way to think about the space complexity in haskell. I have found this article about the Graph Reduction (GR) technique which seems to me as a way to go. But I'm having p...