Objects, Identity, and Concept-formation
http://blog.higher-order.com/blog/2008/12/04/no-such-thing/
Javascript to Elm
http://jstoelm.com/
Category Theory For Programmers I – Monoids
http://adzz.github.io/code/2017/10/05/category-theory-for-programmers-part-1-monoids/
Category Theory for Programmers: The Preface
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
Software Foundations
https://softwarefoundations.cis.upenn.edu/
The Software Foundations series is a broad introduction to the mathematical underpinnings of reliable software.
Verified Functional Algorithms
https://softwarefoundations.cis.upenn.edu/vfa-current/index.html
David Spivak – Category Theory – Part 1 of 6 – λC 2017
https://www.youtube.com/watch?v=IBeceQHz2x8
Classic Papers in Programming Languages and Logic
https://www.cs.cmu.edu/~crary/819-f09/
Stay tuned!
Angel “Java” Lopez
http://www.ajlopez.com
http://twitter.com/ajlopez
Pingback: Functional Programming: Links, News And Resources (21) | Angel "Java" Lopez on Blog
Pingback: Functional Programming: Links, News And Resources (23) | Angel "Java" Lopez on Blog