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

 

2 thoughts on “Functional Programming: Links, News And Resources (22)

  1. Pingback: Functional Programming: Links, News And Resources (21) | Angel "Java" Lopez on Blog

  2. Pingback: Functional Programming: Links, News And Resources (23) | Angel "Java" Lopez on Blog

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out /  Change )

Google+ photo

You are commenting using your Google+ account. Log Out /  Change )

Twitter picture

You are commenting using your Twitter account. Log Out /  Change )

Facebook photo

You are commenting using your Facebook account. Log Out /  Change )

Connecting to %s