Training list

[ana-pantilie]

Inspired by the general training list (which you should go through first), I've decided to centralize a list of resources I consider helpful for Haskell backend devs. This list is open to suggestions, of course, and it's not yet complete. Also, some of the items on the list need more thorough reviewing.

Theoretical Foundations

1. Matching Logic
2. One-Path Reachability Logic
3. All-Path Reachability Logic
4. Matching mu-Logic
5. Introduction to Unification (should review better)
6. Associative-Commutative Rewriting on Large Terms (should review better)

Note: don't worry about going into Applicative Matching Logic (which is used in the newer papers, like Matching Logic Explained); the Kore language is based on matching mu-logic;

Design Decisions:

1. The Syntax of Kore
2. The All-Path Reachability Algorithm
3. Checking Implications in Reachability Proofs
4. The Encoding of Function Definition Rules
5. Translating Predicates to SMT (probably needs updating)

Presentation: A General Overview of the Haskell Backend

• Link to slides and video

TODO: add sections on necessary Haskell knowledge (profiling, important packages like cofree, co-log, recursion schemes etc.)