Curry–Howard correspondence

Re:Curry–Howard correspondence by kjeetgill on Monday August 13, 2018 @11:57PM (#17755500)

I can't begin to explain how excited I am to delve into this! Thank you for the lead.

[ Parent | on HN ]

Re:Curry–Howard correspondence by yangzx on Tuesday August 14, 2018 @05:45AM (#17756528)

You can have a look at Richard Bird's book _Pearls of Functional Algorithm Design_. It's much more accessible than his earlier influential book _Algebra of Programming_.

In this book, many well-known algorithms, e.g. KMP pattern matching, are derived from naive implementations by step-by-step applications of algebraic rules of (functional) programs.

[ Parent | on HN ]

Re:Curry–Howard correspondence by kjeetgill on Tuesday August 14, 2018 @01:03PM (#17759693)

Thanks!

[ Parent | on HN ]