The following pages link to GHC (Q18773):
Displaying 45 items.
- Towards the uniform implementation of declarative languages (Q4395686) (← links)
- (Q4414820) (← links)
- (Q4518876) (← links)
- (Q4532090) (← links)
- A calculus with polymorphic and polyvariant flow types (Q4542147) (← links)
- (Q4558473) (← links)
- Push versus pull-based loop fusion in query engines (Q4577821) (← links)
- Random generation of closed simply typed λ-terms: A synergy between logic programming and Boltzmann samplers (Q4603430) (← links)
- An abstract monadic semantics for value recursion (Q4659889) (← links)
- Composition of functions with accumulating parameters (Q4669644) (← links)
- Schrödinger’s Zebra: Applying Mutual Information Maximization to Graphical Halftoning (Q4689185) (← links)
- (Q4736978) (← links)
- Syntactic composition of top-down tree transducers is short cut fusion (Q4819365) (← links)
- Causal commutative arrows (Q4918242) (← links)
- Derivable Type Classes (Q4921511) (← links)
- (Q4936328) (← links)
- COCHIS: Stable and coherent implicits (Q4972074) (← links)
- HTab: a Terminating Tableaux System for Hybrid Logic (Q4982111) (← links)
- Experiments in Theorem Proving for Topological Hybrid Logic (Q4982128) (← links)
- How to prove decidability of equational theories with second-order computation analyser SOL (Q5110922) (← links)
- Build systems à la carte: Theory and practice (Q5110937) (← links)
- Nested data-parallelism on the gpu (Q5168901) (← links)
- Call-pattern specialisation for Haskell programs (Q5168935) (← links)
- A certified framework for compiling and executing garbage-collected languages (Q5176947) (← links)
- Functional programming through deep time (Q5176960) (← links)
- Binders unbound (Q5176984) (← links)
- Events in Haskell, and how to implement them (Q5178006) (← links)
- Functional array fusion (Q5178010) (← links)
- Automatic SIMD vectorization for Haskell (Q5244784) (← links)
- Exploiting vector instructions with generalized stream fusion (Q5244786) (← links)
- System FC with explicit kind equality (Q5244807) (← links)
- Optimistic evaluation (Q5261284) (← links)
- From natural semantics to C: A formal derivation of two STG machines (Q5302645) (← links)
- Composable scheduler activations for Haskell (Q5371964) (← links)
- Skeleton composition versus stable process systems in Eden (Q5371966) (← links)
- Safe zero-cost coercions for Haskell (Q5371973) (← links)
- Principal Type Inference for GHC-Style Multi-parameter Type Classes (Q5385585) (← links)
- Implementation of Functional Languages (Q5466586) (← links)
- Implementation of Functional Languages (Q5466589) (← links)
- Implementation of Functional Languages (Q5466593) (← links)
- (Q5472909) (← links)
- (Q5472912) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
- A Generic Intermediate Representation for Verification Condition Generation (Q5743596) (← links)
- Programming in Haskell (Q5899343) (← links)
