Pages that link to "Item:Q3149007"
From MaRDI portal
The following pages link to Secrets of the Glasgow Haskell Compiler inliner (Q3149007):
Displaying 10 items.
- GHC (Q18773) (← links)
- Costing stepwise refinements of parallel programs (Q875957) (← links)
- Do judge a test by its cover. Combining combinatorial and property-based testing (Q2233461) (← links)
- A survey of strategies in rule-based program transformation systems (Q2456575) (← links)
- Selective strictness and parametricity in structural operational semantics, inequationally (Q2464947) (← links)
- Using Maude and Its Strategies for Defining a Framework for Analyzing Eden Semantics (Q2866804) (← links)
- A call-by-need lambda calculus with locally bottom-avoiding choice: context lemma and correctness of transformations (Q3520145) (← links)
- Safety of Nöcker's strictness analysis (Q3520168) (← links)
- From natural semantics to C: A formal derivation of two STG machines (Q5302645) (← links)
- Preserving Sharing in the Partial Evaluation of Lazy Functional Programs (Q5504594) (← links)
