Login
Roast topics
Find topics
Find it!
From:
Types and Kinds
(Uncensored)
subscribe
A formalization of GHC’s core language | Types and Kinds
https://typesandkinds.wordpress.com/2012/12/03/a-formalization-of-ghcs-core-language/
links
backlinks
Tagged with:
haskell
ghc
system fc
Roast topics
Find topics
Roast it!
There have been a handful of papers about System FC, the internal language used within GHC ([1] [2] [3] [4], etc.). Each of these papers uses a different characterization of FC, with variations amo…
