Software Engineering

	Paper
◻️	SOFTWARE ENGINEERING - Report on a conference sponsored by the NATO SCIENCE COMMITTEE

Functional programming

Essence

	Paper
◻️	Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs
🔳	Why Functional Programming Matters by J. Hughes
◻️	The essence of functional programming by Philip Wadler

A bit of history

	Paper
◻️	Some History of Functional Programming Languages by D. A. Turner
◻️	The Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak
◻️	History of Lambda-calculus and Combinatory Logic by Felice Cardone and J. Roger Hindley
🔳	Propositions as Types by Philip Wadler

Strong Functional Programming

	Paper
◻️	Elementary Strong Functional Programming by D. A. Turner
◻️	A Tutorial Implementation of a Dependently Typed Lambda Calculus

Monads, monads everywhere

	Paper
◻️	Monads for functional programming by Philip Wadler
◻️	Monad Transformers Step by Step

Recursion schemas

	Paper
◻️	Recursion Schemas from Comonads by Tarmo Uustalu
◻️	Unifying Structured Recursion Schemes by Ralf Hinze, Nicolas Wu and Jeremy Gibbons
◻️	Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire by Erik Meijer Maarten, Fokkinga and Ross Paterson

Other

	Paper
◻️	Purely Functional Data Structures by Chris Okasaki
◻️	Program Design by Calculation by J.N.Oliveira (draft)
◻️	Adaptive Lock-Free Maps: Purely-Functional to Scalable by Ryan R. Newton Peter P. Fogg Ali Varamesh
◻️	Adaptive lock-free maps: purely-functional to scalable
🔳	Recursive types for free! by Philip Wadler
◻️	Theroems for free! by Philip Wadler

Haskell

	Paper
◻️	A Gentle Introduction to Haskell by Paul Hudak, John Peterson and Joseph Fasel
◻️	A History of Haskell: Being Lazy With Class

JVM

	Paper
◻️	Comparison of Erlang Runtime System and Java Virtual Machine

Other

http://www.math.harvard.edu/~mazur/preprints/when_is_one.pdf https://arxiv.org/pdf/1601.05035v3.pdf