[Haskell-cafe] Looking for a paper

Michael Orlitzky michael at orlitzky.com
Wed May 1 14:24:34 UTC 2019

On 5/1/19 9:45 AM, Ben Lippmeier wrote:
> Hi Michael, long time..
> Check out:
> A useful lambda-notation.
> Fairouz Kamareddine, Rob Nederpelt.
> Theoretical Computer Science 115 (1996) 85-109
> They use “item notation”, and argue that maybe function application isn’t what we should be writing to begin with.

Thanks! This one's still a bit over my head, but I kept some category
theory papers for 10+ years until I was able to read them, so I'm not
afraid of this =)

More information about the Haskell-Cafe mailing list