Here is a link to the original Hope paper ("HOPE, an Experimental Applicative Language"): https://dl.acm.org/doi/pdf/10.1145/800087.802799 https://dl.acm.org/d

Here is a link to the original Hope paper ("HOPE, an Experimental Applicative Language"): https://dl.acm.org/doi/pdf/10.1145/800087.802799 https://dl.acm.org/doi/pdf/10.1145/800087.802799 I worked on the HOPE interpreter (using POPL-2) when I was a post-doc in Edinburgh.