Great Works in Programming Languages
Collected by Benjamin C. Pierce
http://www.cis.upenn.edu/~bcpierce/courses/670Fall04/GreatWorksInPL.shtml
http://ncatlab.org/nlab/show/type+theory
http://stackoverflow.com/questions/11054943/intense-study-of-type-systems-type-theory
https://www.fpcomplete.com/user/bartosz/understanding-yoneda#natural-transformations
http://bartoszmilewski.com/category/category-theory/
The Catsters. An excellent series of videos about category theory.
Mike Vanier, Yet Another Monad Tutorial. Explains Haskel monads in great detail.
Dan Pipone, Neighborhood of Infinity. Interesting blog with a lot of insights into category theory and Haskell.
Eugenio Moggi, Notions of Computation and Monads. This is a hard core research paper that started the whole monad movement in functional languages.
Philip Wadler, Monads for Functional Programming. The classic paper introducing monads into Haskell.
Pierre-Louis Curien - http://www.pps.univ-paris-diderot.fr/~curien/ François Pottier - http://gallium.inria.fr/~fpottier/ Yves Bertot - http://www-sop.inria.fr/lemme/Yves.Bertot/old-index.html Pierre Castéran - http://www.labri.fr/perso/casteran/ Lambda-calculs et catégories Cours M1.20 - http://www.pps.univ-paris-diderot.fr/~mellies/mpri-ens.html http://www.pps.univ-paris-diderot.fr/~mellies/ Linear Logic - http://www.dicosmo.org/CourseNotes/LinLog/ Type systems - http://gallium.inria.fr/~remy/mpri/
java-concurrent - http://tutorials.jenkov.com/java-util-concurrent/index.html
Applications of Parallel Computers - https://www.youtube.com/playlist?list=PLkFD6_40KJIyX8nEjk6oTLWohdVhjjP3X
CS262a: Advanced Topics in Computer Systems - http://bnrg.cs.berkeley.edu/~adj/cs262/ Paxos lecture (Raft user study) https://www.youtube.com/watch?v=JEpsBg0AO6o Exactly-once Semantics - https://www.confluent.io/blog/exactly-once-semantics-are-possible-heres-how-apache-kafka-does-it/ Kafka/Cassandra - https://www.youtube.com/watch?v=s3GfXTnzG_Y A collection of links for streaming algorithms and data structures - https://gist.github.com/debasishg/8172796