GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → xnning → Ghc Core Literature Review

xnning / Ghc Core Literature Review

Literature review of GHC's Core language, System FC

Programming Languages

haskell
3896 projects

Labels

ghc

Projects that are alternatives of or similar to Ghc Core Literature Review

ghcide-nix
Nix installation for ghcide
Stars: ✭ 76 (+13.43%)
Mutual labels:  ghc
ghc-exactprint
GHC version of haskell-src-exts exactPrint
Stars: ✭ 59 (-11.94%)
Mutual labels:  ghc
Sublimehaskell
A Sublime Text 3 plugin for Haskell. Features cabal building, error and warning highlighting, smart completion and ghc-mod integration.
Stars: ✭ 574 (+756.72%)
Mutual labels:  ghc
htoml
TOML file format parser in Haskell
Stars: ✭ 39 (-41.79%)
Mutual labels:  ghc
haskell-ghc-reading-guide
Haskell GHC reading guide
Stars: ✭ 29 (-56.72%)
Mutual labels:  ghc
Haskell Tools
Developer tools for Haskell
Stars: ✭ 256 (+282.09%)
Mutual labels:  ghc
ghc-alt-libc
GHC compiled against musl & uClibc
Stars: ✭ 41 (-38.81%)
Mutual labels:  ghc
Octopod
🐙🛠️ Open-source self-hosted solution for managing multiple deployments in a Kubernetes cluster with a user-friendly web interface.
Stars: ✭ 47 (-29.85%)
Mutual labels:  ghc
type-natural
Type-level well-kinded natural numbers.
Stars: ✭ 32 (-52.24%)
Mutual labels:  ghc
Haskell Exercises
A little course to learn about some of the more obscure GHC extensions.
Stars: ✭ 492 (+634.33%)
Mutual labels:  ghc
cdetect
🔬 Detect which compiler and compiler version a Linux executable (in the ELF format) was compiled with
Stars: ✭ 23 (-65.67%)
Mutual labels:  ghc
ghc-whole-program-compiler-project
GHC Whole Program Compiler and External STG IR tooling
Stars: ✭ 89 (+32.84%)
Mutual labels:  ghc
Stan
🕵️ Haskell STatic ANalyser
Stars: ✭ 386 (+476.12%)
Mutual labels:  ghc
ghci-hexcalc
Haskell/GHCi as a Hex-Calculator interactive
Stars: ✭ 24 (-64.18%)
Mutual labels:  ghc
Ghc Scheduler
Helps with visualising the schedule for GHC 2018
Stars: ✭ 13 (-80.6%)
Mutual labels:  ghc
what-it-do
Automatically trace all (showable) binds in do expressions
Stars: ✭ 81 (+20.9%)
Mutual labels:  ghc
ghc-syntax-highlighter
Syntax highlighter for Haskell using the lexer of GHC
Stars: ✭ 55 (-17.91%)
Mutual labels:  ghc
Lazy evaluation
haskell lazy evaluation illustrated
Stars: ✭ 58 (-13.43%)
Mutual labels:  ghc
Ghcup Hs
THIS REPO IS A MIRROR, BUG REPORTS GO HERE:
Stars: ✭ 44 (-34.33%)
Mutual labels:  ghc
Haskell Code Explorer
Web application for exploring and understanding Haskell codebases
Stars: ✭ 454 (+577.61%)
Mutual labels:  ghc
View All Similar Projects ➔

Literature Review of GHC Core

This document aims at giving an rough overview of the evolution of GHC Core, System FC, through publications. The motivation of this document is to aid developers who hack into GHC Core in gaining a theoretical understanding of each design choice involved in the type system.

Note that this document is not supposed to be a stand-alone literature; that is, it is impossible to understand all type systems solely by reading this document. Instead, it is supposed to be read along with the papers. It gives a summary of each type system's motivation, and highlights points that are important or different from previous type systems, which is expected to help the process of paper reading.

Assumed background: Types and Programming Languages.

Document

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].