Daily Archives: November 20, 2017

Functional Programming: Links, News And Resources (22)

Previous Post
Next Post

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