I was recently doing some GHC Core related stuff, and I found that it might be useful to have a theoretical understanding of the type system for writing better practical code. Therefore I started to read papers about GHC Core, or System FC, following the publication timeline, to try to understand each design choice involved in the type system.

I wrote a simple literature review that I think might be useful for people like me. If you're thinking about learning System FC, you might find it helpful:

Feedbacks are welcome.

Best,

Ningning