Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

The Glorious Glasgow Haskell Compilation System

Known as: GHC Haskell, Ghc compiler, The Glasgow Haskell Compiler 
The Glorious Glasgow Haskell Compilation System, more commonly known as the Glasgow Haskell Compiler or simply GHC, is an open source native code… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2007
Highly Cited
2007
We introduce System FC, which extends System F with support for non-syntactic type equality. There are two main extensions: (i… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2006
Highly Cited
2006
Generalized algebraic data types (GADTs), sometimes known as "guarded recursive data types" or "first-class phantom types", are a… Expand
  • figure 1
  • figure 2
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
2005
Highly Cited
2005
We describe a monadic interface to low-level hardware features that is a suitable basis for building operating systems in Haskell… Expand
  • figure 6
Is this relevant?
Highly Cited
2002
Highly Cited
2002
We propose a new extension to the purely functional programming language Haskell that supports compile-time meta-programming. The… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
2001
Highly Cited
2001
Optimising ompilers perform program transformations that improve the eÆ ien y of the program. However, a ompiler an only use… Expand
  • figure 1
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Some applications are most easily expressed in a programming language that supports concurrency, notably interactive and… Expand
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Le phenomene de sensibilite a la polarite pose depuis 30 ans des problemes pour les theories de la representation grammaticale. L… Expand
  • figure 3
  • figure 4
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Lists are often used as \glue" to connect separate parts of a program together. We propose an automatic technique for improving… Expand
Is this relevant?
Highly Cited
1991
Highly Cited
1991
Abstract This paper describes a speaker-independent phoneme and word recognition system based on a recurrent error propagation… Expand
Is this relevant?
Highly Cited
1985
Highly Cited
1985
A set of Horn clauses, augmented with a ‘guard’ mechanism, is shown to be a simple and yet powerful parallel logic programming… Expand
  • figure 6.1
  • figure 6.2
  • figure 6.3
  • figure 6.4
  • table 6.1
Is this relevant?