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