swift-reading-club

We have a Google Calendar with the upcoming meetings:

ical and html.

Upcoming

February 1

• Complete and Easy Bidirectional Typechecking for Higher-Rank Polymorphism

January 16/17

• Deep Learning with Dynamic Computation Graphs

January 3/4

• Bitcoin Paper

November 9/10

• Typed Tagless Final Interpreters

Past Meetings

Oct 18/19

• Notions of Computations as Monoids

Sep 20/21

• Taming Context-Sensitive Languages with Principled Stateful Parsing

Sep 13/14

• Linear types can change the world!

Sep 7

• https://github.com/snowleopard/alga-paper

August 30

• LVars: Lattice-based Data Structures for Deterministic Parallelism
  • Also interesting: an accompanying presentation

August 23

• Proofs about a Folklore Let-Polymorphic Type Inference Algorithm

August 16

• Principal Types for functional programs

August 8

• A Graph-Based Higher-Order Intermediate Representation
  • http://compilers.cs.uni-saarland.de/papers/lkh15_cgo.pdf

July 19

• Defunctionalization at Work (Danvy)
• http://www.brics.dk/RS/01/23/BRICS-RS-01-23.pdf

July 12

• Compiling to Categories
  • http://conal.net/papers/compiling-to-categories/ (video and paper)

Summary: 2017-07-12-compiling-to-categories.md

July 5

http://www.cs.ox.ac.uk/people/jeremy.gibbons/publications/poptics.pdf

June 27

Synchronous Functional Programming: The Lucid Synchrone Experiment (pdf)

Noted by the Elm author as very similar to his ideas

June 13/14

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

May 30

A Lightweight Approach to Datatype-Generic Rewriting

http://www.cs.uu.nl/research/techreps/repo/CS-2008/2008-020.pdf

May 14

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

May 1

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:

• https://gist.github.com/bkase/064f3a72eb4d6a11d8e723edc6b6157d
• https://gist.github.com/chriseidhof/c3918e870efae00eb3c1565ff6a9f289