[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