More a diary than a blog. Move along nothing to see here.
Friday, January 21, 2011
Curry’s anticipation of the types used in programming languages
I found a really interesting paper about types. Well written, easy read. It gave me a great background of history of combinatory logic, how it evolved and fought for it's place in a current math world. Enjoy the reading.