Hi all, 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: https://github.com/xnning/GHC-Core-Literature-Review/blob/master/doc/doc.pdf Feedbacks are welcome. Best, Ningning