Literature Review of GHC Core

Ningning Xie xnningxie at
Tue Jun 26 15:15:31 UTC 2018

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

Feedbacks are welcome.

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <>

More information about the ghc-devs mailing list