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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1968-2018
010203019682018

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2008
Highly Cited
2008
We report on an extension of Haskell with open type-level functions and equality constraints that unifies earlier work on GADTs… (More)
  • figure 1
Is this relevant?
2007
2007
In this paper we present an automated way of using spare CPU resources within a shared memory multi-processor or multi-core… (More)
  • figure 1
  • figure 2
  • figure 4
  • figure 3
  • figure 5
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We describe the design and current status of our effort to implement the programming model of nested data parallelism into the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
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… (More)
  • figure 1
  • figure 2
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Many compilers do some of their work by means of correctness-preserving, and hopefully performance-improving, program… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
In functional languages intermediate data structures are often used as glue to connect separate parts of a program together… (More)
  • figure 1.1
  • table 2.1
  • figure 2.1
  • figure 2.2
  • figure 2.3
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… (More)
Is this relevant?
Highly Cited
1991
Highly Cited
1991
The Andorra Kernel Language (AKL) is introduced. We show how AKL provides the programming paradigms of both Prolog and GHC. This… (More)
Is this relevant?
Highly Cited
1990
Highly Cited
1990
The logic programming language framework Kernel Andorra Prolog is de ned by a formal computation model. In Kernel Andorra Prolog… (More)
Is this relevant?
Highly Cited
1985
Highly Cited
1985
This thesis introduces the programming language Guarded Horn Clauses which is abbreviated to GHC. Guarded Horn Clauses was born… (More)
Is this relevant?