https://github.com/i-am-tom/papers

I'm trying to learn things in my time away.
https://github.com/i-am-tom/papers

Last synced: about 1 month ago
JSON representation

I'm trying to learn things in my time away.

• Host: GitHub
• URL: https://github.com/i-am-tom/papers
• Owner: i-am-tom
• Created: 2022-01-05T11:41:47.000Z (almost 3 years ago)
• Default Branch: master
• Last Pushed: 2023-09-10T17:34:44.000Z (about 1 year ago)
• Last Synced: 2024-02-17T10:38:18.239Z (9 months ago)
• Language: Haskell
• Size: 32.2 KB
• Stars: 8
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        


  
📚 Papers



Now I've been writing Haskell for a while, I figure it's time to start reading

a lot of the "fundamental" papers, and see if I can fill in some of the gaps.

This repository is a collection of notes for papers that I've read. These notes

will most likely take the form of Haskell code, but we'll see what happens.

* [Applicative programming with effects](https://github.com/i-am-tom/papers/blob/master/applicative-programming-with-effects/Main.hs) _- Conor McBride, Ross Paterson_

* [A Theory of Changes for Higher-Order Languages: Incrementalizing λ-Calculi by Static Differentiation](https://github.com/i-am-tom/papers/blob/master/a-theory-of-changes-for-higher-order-languages/Main.hs) _- Yufei Cai, Paolo G. Giarrusso, Tillmann Rendel, Klaus Ostermann_

* [Clowns to the Left of me, Jokers to the Right: Dissecting Data Structures](https://github.com/i-am-tom/papers/blob/master/clowns-to-the-left-of-me-jokers-to-the-right-dissecting-data-structures/Main.hs) _- Conor McBride_

* [Fixing idioms: A recursion primitive for applicative DSLs](https://github.com/i-am-tom/papers/blob/master/fixing-idioms/Main.hs) _- Dominique Devriese, Ilya Sergey, Dave Clarke, Frank Piessens_

* [Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire](https://github.com/i-am-tom/papers/blob/master/functional-programming-with-bananas-lenses-envelopes-and-barbed-wire/Main.hs) _- Erik Meijer, Maarten Fokkinga, Ross Paterson_

* [Nondeterminism with Referential Transparency in Functional Programming Languages](https://github.com/i-am-tom/papers/blob/master/nondeterminism-with-referential-transparency-in-functional-programming-languages/Main.hs) _- F. W. Burton_

* [Probabilistic Functional Programming in Haskell](https://github.com/i-am-tom/papers/blob/master/probabilistic-functional-programming-in-haskell/Main.hs) _- Martin Erwig and Steve Kollmansberger_

* [A Program to Solve Sudoku](https://github.com/i-am-tom/papers/blob/master/a-program-to-solve-sudoku/Main.hs) _- Richard Bird_

* [Programming Language Semantics: It's Easy as 1, 2, 3](https://github.com/i-am-tom/papers/blob/master/it's-as-easy-as-1-2-3/Main.hs) _- Graham Hutton_

* [Tracing Monadic Computations and Representing Effects](https://github.com/i-am-tom/papers/blob/master/tracing-monadic-computations-and-representing-effects/Main.hs) _- Maciej Piróg and Jeremy Gibbons_