Re: [Haskell-cafe] Looking for a paper

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 =)