[Haskell-cafe] Looking for a paper

Michael Orlitzky michael at orlitzky.com
Tue Apr 9 20:03:48 UTC 2019

On 4/9/19 11:09 AM, Michael Orlitzky wrote:
> On 4/9/19 10:41 AM, jaro.reinders at gmail.com wrote:
>> I found it: https://www.cs.utexas.edu/~EWD/transcriptions/EWD13xx/EWD1300.html
> Thank you, this is obviously also relevant, but it's not the one I'm
> remembering. The notation is the same, though, so this explains what I'm
> looking for (and is also an interesting read).

After the Dijkstra hint, I was able to track it down:



More information about the Haskell-Cafe mailing list