Erlang Solutions

Philip Wadler - Propositions as Types (Lambda Days 2016)

About this video

Philip Wadler's Lambda Days talk on propositions as types, the link between logic and computation that underlies theorem provers and programming language design.

functional programming

Philip Wadler - Propositions as Types (Lambda Days 2016)

About this video

Keep your curiosity going.

Vectors | Chapter 1, Essence of linear algebra

Ruby Conf 12 - Y Not- Adventures in Functional Programming by Jim Weirich

But what is the Fourier Transform? A visual introduction.

But what is a neural network? | Deep learning chapter 1