• GHC

  • Referenced in 103 articles [sw06691]
  • Secrets of the Glasgow Haskell Compiler inliner. Higher-order languages such as Haskell encourage ... instance of its body. But any compiler-writer will tell you that inclining ... used in the Glasgow Haskell compiler. We focus mainly on the algorithmic aspects...
  • TTM

  • Referenced in 12 articles [sw11997]
  • implemented in Haskell using the Glasgow Haskell Compiler...
  • HTab

  • Referenced in 12 articles [sw12427]
  • functional language Haskell, using the Glasgow Haskell Compiler (GHC). The code is released under...
  • Idris

  • Referenced in 37 articles [sw20011]
  • compiled, with eager evaluation. Its features are influenced by Haskell and ML, and include: Full ... matching; Simple foreign function interface (to C); Compiler-supported interactive editing: the compiler helps ... update; Interfaces (similar to type classes in Haskell); Type-driven overloading resolution; do notation...
  • Nikola

  • Referenced in 6 articles [sw14049]
  • Nikola: embedding compiled GPU functions in Haskell. We describe Nikola, a first-order ... language of array computations embedded in Haskell that compiles to GPUs via CUDA using ... range of low-level details for Haskell programmers, such as marshaling data to/from ... automatic loop parallelization. Additionally, Nikola supports both compile-time and run-time code generation, making...
  • KiCS2

  • Referenced in 10 articles [sw07613]
  • KiCS2: a new compiler from Curry to Haskell. In this paper we present our first ... compile functional logic programs of the source language Curry into purely functional Haskell programs...
  • GCminor

  • Referenced in 4 articles [sw22622]
  • Haskell that translates the Glasgow Haskell Compiler’s Core intermediate language to GCminor. To support...
  • Pochoir

  • Referenced in 10 articles [sw25851]
  • template library, and the DSL compiler is written in Haskell. Currently, the Pochoir package...
  • Naira

  • Referenced in 3 articles [sw13682]
  • compiler for a parallel dialect of Haskell, compiling to a graph-reducing parallel abstract machine ... level pipeline and for individual compilation stages. We show that a modest but useful degree ... workstations using the GUM parallel implementation of Haskell...
  • Irdis

  • Referenced in 22 articles [sw09690]
  • compiled, with eager evaluation. Its features are influenced by Haskell and ML, and include: Full...
  • nofib

  • Referenced in 3 articles [sw28668]
  • working on the Glasgow Haskell compiler hope this suite will encourage sound, quantitative assessment...
  • HERMIT

  • Referenced in 3 articles [sw09886]
  • internal core language of the Glasgow Haskell Compiler. HERMIT provides several mechanisms to support writing...
  • Dava

  • Referenced in 5 articles [sw34048]
  • also be produced by compilers for other languages, including Haskell, Eiffel, ML, Ada and Fortran...
  • GUM

  • Referenced in 13 articles [sw09417]
  • portable, parallel implementation of the Haskell functional language. Despite sustained research interest in parallel functional ... best sequential compiler technology. To improve the performance of a parallel Haskell program GUM provides...
  • HaLVM

  • Referenced in 1 article [sw32968]
  • port of the Glasgow Haskell Compiler toolsuite that enables developers to write high-level, lightweight...
  • SHErrLoc

  • Referenced in 1 article [sw22670]
  • type system implemented by the Glasgow Haskell Compiler (GHC) (with type classes, GADTs, and type...
  • Plastic

  • Referenced in 18 articles [sw07403]
  • higher-order non-strict functional language Haskell, and uses the Happy parser generator ... with similar systems written in strict languages (compiled with...
  • Shake

  • Referenced in 3 articles [sw09394]
  • building, replacing make with Haskell. Most complex software projects are compiled using a build tool ... Haskell library Shake, and have used Shake to write a complex build system which compiles...
  • MetaFun

  • Referenced in 1 article [sw42679]
  • MetaFun: Compile Haskell-like code to C++ template metaprograms. MetaFun is a program to compile ... Haskell-like language Kiff (for Keep It Fun & Functional), and then use them as compile...
  • PAEAN

  • Referenced in 0 articles [sw22073]
  • provided by the widely used GHC Haskell compiler. This paper summarises the state...