this is a collection of my favourite pappers and books on the functional programming domain
The Open Logic Project - "is a collection of teaching materials on mathematical logic aimed at a non-mathematical audience, intended for use in advanced logic courses as taught in many philosophy departments"
Oregon Programming Languages Summer School This is a little gem
Category Theory: A Gentle Introduction that is propably my favourite book on Categories.Peter Smith did an amazing job
Seven Sketches in Compositionality: An Invitation to Applied Category Theory
What is Applied Category Theory? a very nicely done summary of cateory theory by Tai-Danae Bradley, the creator of math3ma
What is an Adjunction? Part 1 What is an Adjunction? Part 2 What is an Adjunction? Part 3
Bartosz Milewski - Category Theory for Programmers
Category Theory (suggested by nLab)
A Brisk Tour of (Enriched) Category Theory a great intro into the concept of Enriched Categories
On traced monoidal closed categories
Oregon Programming Languages Summer School — 2014 ( Category Theory — Lars Birkedal )
Category Theory and Lambda Calculus - Mario Román
Categorical Semantics of Linear Logic my favourite introduction to the concept of Categorical Semantics
Topoi: The Categorial Analysis of Logic Iconic book on Topos theory
Lecture Notes:Introduction to Categorical Logic
Higher-Dimensional Type Theory - Videos
Type Theory and Functional Programming
Principles of Programming Languages
Programming in Martin-L¨of’s Type Theory
Intuitionistic Type Theory: Notes
Domain-theoretic foundations of functional programming
Introduction to Homotopy Type Theory my favourite introduction
Homotopy Type Theory In this book there are some new Ideas in the Field that combine Topology, Type Theory and Category theory. Those are advanced ideas that are not directly applicable by the practical programmer, but are definitely some beautiful ideas to ponder upon
Formal Reasoning About Programs
Hott Video Lectures by Robert Harper
An introduction to (co)algebra and (co)induction
Everything from this Jan Rutten page on CoAlgebras and CoInduction
Applicative Programming with Effects
An Investigation of the Laws of Traversals
CATEGORICAL PROGRAMMING WITH INDUCTIVE AND COINDUCTIVE TYPES
The essence of the Iterator pattern
Lectures on Semantics: The initial algebra and final coalgebra perspectives
Logicians Who Reason About Themselves (invited talk)
Solving Smullyan Puzzles with Formal Systems
Diagonalization & The Fixed Point Lemma
science4all.org
Type Theory: A Modern Computable Paradigm for Math
Homotopy Type Theory and Higher Inductive Types
Univalent Foundations of Mathematics
React
Typescript
Django
Laravel
Facebook
Microsoft
Google
Alibaba
D3
Tencent