Lambda the Ultimate

Additions to the research papers page
started 10/3/2002; 1:46:56 PM - last post 10/4/2002; 4:17:15 AM

Ehud Lamm - Additions to the research papers page

10/3/2002; 1:46:56 PM (reads: 991, responses: 2)

Additions to the research papers page

I've added Graham Hutton's fold tutorial and the classic bananas and lenses paper by Meijer, Fokkinga and Paterson, to the research papers page.

I found myself referring to them over and over again.

Rereading the bananas and lenses paper, I was reminded why it is so significant. However, it is very dense and introduces a lot of notation (on top of the four symbols referred to in the title )

A Bananas and Lenses Distilled tutorial would be nice to have around...

Posted to admin by Ehud Lamm on 10/3/02; 1:49:42 PM

Frank Atanassow - Re: Additions to the research papers page

10/4/2002; 2:51:31 AM (reads: 578, responses: 1)

The "sequel" of the bananas paper,

Erik Meijer and Graham Hutton. Bananas in Space: Extending fold and unfold to Exponential Types. In Proc. FPCA'95.

is even better. It shows how to extend bananas to mixed-variance types like those for higher-order functions.

Ehud Lamm - Re: Additions to the research papers page

10/4/2002; 4:17:15 AM (reads: 622, responses: 0)

Strangely enough, I read this one before reading the original bananas and lenses paper.

Great title...