14 papers:
FLOPS-2012-Weirich #haskell #programming- Dependently-Typed Programming in GHC (SW), p. 3.
IFL-2012-SculthorpeFG #haskell #program transformation- The HERMIT in the Tree — Mechanizing Program Transformations in the GHC Core Language (NS, AF, AG), pp. 86–103.
PPDP-2012-MonjarazM #haskell #π-calculus- From the π-calculus to flat GHC (RM, JM), pp. 163–172.
SAC-2004-LimaLS #category theory #combinator #haskell #multi- A back-end for GHC based on categorical multi-combinators (RMFL, RDL, ALMS), pp. 1482–1489.
ICLP-1995-Hirata #correctness #haskell #proving #π-calculus- Proving Correctness of Translation from Moded Flat GHC to π-Calculus (KH), p. 818.
- ICLP-1993-RaoKS #haskell #proving #source code #termination
- Proving Termination of GHC Programs (MRKKR, DK, RKS), pp. 720–736.
- CLP-1990-UedaM90 #haskell #implementation
- A New Implementation Technique for Flat GHC (KU, MM), pp. 3–17.
- JICSCP-1988-FujitaOF88 #constraints #haskell #partial evaluation #source code
- Partial Evaluation of GHC Programs Based on the UR-set with Constraints (HF, AO, KF), pp. 924–941.
- JICSCP-1988-NilssonT88 #haskell #implementation
- A Flat GHC Implementation for Supercomputers (MN, HT), pp. 1337–1350.
- JICSCP-1988-Taylor88 #haskell
- Localizing the GHC Suspension Test (HT), pp. 1257–1271.
- ICLP-1987-ChikayamaK87 #haskell #multi
- Multiple Reference Management in Flat GHC (TC, YK), pp. 276–293.
- ICLP-1987-IchiyoshiMT87 #distributed #haskell #implementation #multi
- A Distributed Implementation of Flat GHC on the Multi-PSI (MI, TM, KT), pp. 257–275.
- SLP-1987-Saraswat87 #haskell #named #problem #semantics
- GHC: Operational Semantics, Problems, and Relationships with CP(|, |) (VAS), pp. 347–358.
- ICLP-1986-Levy86 #automaton #haskell #set
- A GHC Abstract Machine and Instruction Set (JL), pp. 157–171.
