论文信息 - An External Representation for the GHC Core Language

An External Representation for the GHC Core Language

This document provides a precise denition for the GHC Core language, so that it can be used to communicate between GHC and new stand-alone compilation tools such as back-ends or optimizers. 1 The denition includes a formal grammar and an informal semantics. An executable typechecker and interpreter (in Haskell), which formally embody the static and dynamic semantics, are available separately.

Andrew Tolmach

[1] John Launchbury,et al. A natural semantics for lazy evaluation , 1993, POPL '93.

[2] S. Jones,et al. A Transformation-Based Optimiser for Haskell , 1998, Sci. Comput. Program..

[3] Simon L. Peyton Jones,et al. Secrets of the Glasgow Haskell Compiler inliner , 2002, Journal of Functional Programming.

[4] Peyton Jones,et al. Haskell 98 language and libraries : the revised report , 2003 .

[5] Simon L. Peyton Jones,et al. Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine , 1992, Journal of Functional Programming.

[6] Simon L. Peyton Jones,et al. Unboxed Values as First Class Citizens in a Non-Strict Functional Language , 1991, FPCA.