<div dir="ltr">Hi all,<div><br></div><div>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.</div><div><br></div><div>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:</div><div><br></div><div><a href="https://github.com/xnning/GHC-Core-Literature-Review/blob/master/doc/doc.pdf">https://github.com/xnning/GHC-Core-Literature-Review/blob/master/doc/doc.pdf</a><br></div><div><br></div><div>Feedbacks are welcome.</div><div><br></div><div><br></div><div><br></div><div>Best,</div><div>Ningning</div></div>