We have a Google Calendar with the upcoming meetings:
- Bitcoin Paper
- LVars: Lattice-based Data Structures for Deterministic Parallelism
- Also interesting: an accompanying presentation
- A Graph-Based Higher-Order Intermediate Representation
- Defunctionalization at Work (Danvy)
- http://www.brics.dk/RS/01/23/BRICS-RS-01-23.pdf
- Compiling to Categories
- http://conal.net/papers/compiling-to-categories/ (video and paper)
Summary: 2017-07-12-compiling-to-categories.md
http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf
Synchronous Functional Programming: The Lucid Synchrone Experiment (pdf)
Noted by the Elm author as very similar to his ideas
Implementing Explicit and Finding Implicit Sharing in Embedded DSLs
http://okmij.org/ftp/tagless-final/sharing/sharing.pdf
Summary: 2017-06-14-sharing.md
Artifacts
- https://gist.github.com/bkase/1cd8ed42b8fd41a4033d367b15b88f3c
- https://gist.github.com/chriseidhof/2ae5879a23888df40a7a18bedd5c53cc
A Lightweight Approach to Datatype-Generic Rewriting
http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-020.pdf
Modules over Monads and their Algebras
http://coalg.org/calco15/papers/p18-Pir%C3%B3g.pdf
Summary: 2017-05-22-modules-over-monads.md
Artifacts:
- https://gist.github.com/chriseidhof/0671f5a907042c4502e3b82bfce05a9a
- https://gist.github.com/CodaFi/661585c1ae2b5bc99e1168912d62d5a5
Programming with Algebraic Effects and Handlers (Andrej Bauer and Matija Pretnar 2012)
https://arxiv.org/pdf/1203.1539.pdf
Summary: 2017-05-01-effects.md
Swift artifacts: