https://github.com/samuelschlesinger/functional-programming-resources

some resources that have helped me learn functional programming
https://github.com/samuelschlesinger/functional-programming-resources

Last synced: 20 days ago
JSON representation

some resources that have helped me learn functional programming

• Host: GitHub
• URL: https://github.com/samuelschlesinger/functional-programming-resources
• Owner: SamuelSchlesinger
• Created: 2020-07-25T07:58:37.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2020-11-02T04:38:45.000Z (about 4 years ago)
• Last Synced: 2024-10-27T19:10:57.942Z (2 months ago)
• Size: 8.73 MB
• Stars: 2
• Watchers: 4
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
# Functional Programming Resources

- [Algebra of Programming (Bird and Moor)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/algebra_of_programming.pdf)

- [An Investigation of the Relative Efficiencies of Combinators and Lambda Expressions (Jones)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/lambdas_vs_combinators.pdf)

- [Improvement in a Lazy Context: An Operational Theory for Call-By-Need (Moran and Sands)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/lazy_improvement.pdf)

- [Purely Functional Data Structures (Okasaki)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/okasaki.pdf)

- [Parametric Polymorphism and Operational Improvement (Hackett and Hutton)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/polymorphism_and_improvement.pdf)

- [The Design of a Pretty-printing Library (Hughes)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/pretty_print.pdf)

- [Implementing Lazy Functional Languages on Stock Hardware: the Spineless, Tagless, G-machine](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/spineless-tagless-gmachine.pdf)

- [Functional Programming with Overloading and Higher-Order Polymorphism (Jones)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/transformers.pdf)

- [Monads for Functional Programming (Wadler)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/wadler_monads.pdf)

- [Dynamic Typing as Staged Type Inference (Shields, Sheard, Jones)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/dynamic_static_typing.pdf)

- [What You Needa Know about Yoneda: Profunctor Optics and the Yoneda Lemma (Boisseau, Gibbons)](https://github.com/SamuelSchlesinger/functional-programming-resoures/blob/master/yoneda.pdf)

- [Algebraic Graphs with Class (Andrey Mokhov)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/algebraic-graphs.pdf) 

- [Ode on a Random Urn (Lampropoulos, Spector-Zabusky)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/urns.pdf) 

- [Probabilistic Functional Programming in Haskell (Erwig, Kollmansberger)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/probabilistic-programming.pdf) 

- [The Reduceron (Matthew Naylor and Colin Runciman)](https://github.com/SamuelSchlesinger/functional-programming-resources/blob/master/reduceron.pdf)