papers_i_love
papers_i_love copied to clipboard
Published
20 hours ago •
EncodePanda
EncodePanda
Papers I love :)
Software Engineering
| Paper | |
|---|---|
| :white_medium_square: | SOFTWARE ENGINEERING - Report on a conference sponsored by the NATO SCIENCE COMMITTEE |
Functional programming
Essence
| Paper | |
|---|---|
| :white_medium_square: | Can Programming Be Liberated from the von Neumann Style? A Functional Style and Its Algebra of Programs |
| :white_square_button: | Why Functional Programming Matters by J. Hughes |
| :white_medium_square: | The essence of functional programming by Philip Wadler |
A bit of history
| Paper | |
|---|---|
| :white_medium_square: | Some History of Functional Programming Languages by D. A. Turner |
| :white_medium_square: | The Conception, Evolution, and Application of Functional Programming Languages by Paul Hudak |
| :white_medium_square: | History of Lambda-calculus and Combinatory Logic by Felice Cardone and J. Roger Hindley |
| :white_square_button: | Propositions as Types by Philip Wadler |
Strong Functional Programming
| Paper | |
|---|---|
| :white_medium_square: | Elementary Strong Functional Programming by D. A. Turner |
| :white_medium_square: | A Tutorial Implementation of a Dependently Typed Lambda Calculus |
Monads, monads everywhere
| Paper | |
|---|---|
| :white_medium_square: | Monads for functional programming by Philip Wadler |
| :white_medium_square: | Monad Transformers Step by Step |
Recursion schemas
| Paper | |
|---|---|
| :white_medium_square: | Recursion Schemas from Comonads by Tarmo Uustalu |
| :white_medium_square: | Unifying Structured Recursion Schemes by Ralf Hinze, Nicolas Wu and Jeremy Gibbons |
| :white_medium_square: | Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire by Erik Meijer Maarten, Fokkinga and Ross Paterson |
Other
| Paper | |
|---|---|
| :white_medium_square: | Purely Functional Data Structures by Chris Okasaki |
| :white_medium_square: | Program Design by Calculation by J.N.Oliveira (draft) |
| :white_medium_square: | Adaptive Lock-Free Maps: Purely-Functional to Scalable by Ryan R. Newton Peter P. Fogg Ali Varamesh |
| :white_medium_square: | Adaptive lock-free maps: purely-functional to scalable |
| :white_square_button: | Recursive types for free! by Philip Wadler |
| :white_medium_square: | Theroems for free! by Philip Wadler |
Haskell
| Paper | |
|---|---|
| :white_medium_square: | A Gentle Introduction to Haskell by Paul Hudak, John Peterson and Joseph Fasel |
| :white_medium_square: | A History of Haskell: Being Lazy With Class |
JVM
| Paper | |
|---|---|
| :white_medium_square: | 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
EncodePanda