The following pages link to Simon L. Peyton Jones (Q1818317):
Displaying 50 items.
- (Q525666) (redirect page) (← links)
- SecDec-3.0: numerical evaluation of multi-scale integrals beyond one loop (Q525669) (← links)
- (Q1095641) (redirect page) (← links)
- A safe approach to parallel combinator reduction (Q1095642) (← links)
- A transformation-based optimiser for Haskell (Q1818319) (← links)
- A GPU compatible quasi-Monte Carlo integrator interfaced to pySecDec (Q2696425) (← links)
- (Q2763390) (← links)
- (Q2763985) (← links)
- (Q2767981) (← links)
- Safe zero-cost coercions for Haskell (Q2819677) (← links)
- Refinement types for Haskell (Q2819690) (← links)
- HALO (Q2931819) (← links)
- Scrap your boilerplate with class (Q2936783) (← links)
- Associated type synonyms (Q2936787) (← links)
- Runtime support for multicore Haskell (Q2936802) (← links)
- Complete and decidable type inference for GADTs (Q2936831) (← links)
- (Q2958372) (← links)
- Sequent calculus as a compiler intermediate language (Q2982003) (← links)
- Secrets of the Glasgow Haskell Compiler inliner (Q3149007) (← links)
- Fun with Type Functions (Q3163410) (← links)
- (Q3165976) (← links)
- A Reflection on Types (Q3188294) (← links)
- Practical type inference for arbitrary-rank types (Q3419812) (← links)
- Understanding functional dependencies via constraint handling rules (Q3419813) (← links)
- Lock Free Data Structures Using STM in Haskell (Q3434626) (← links)
- Scrap Your Type Applications (Q3521978) (← links)
- Implementing lazy functional languages on stock hardware: the Spineless Tagless G-machine (Q3625516) (← links)
- Yacc in sasl — an exercise in functional programming (Q3681898) (← links)
- (Q3685169) (← links)
- (Q3713568) (← links)
- (Q3741018) (← links)
- (Q4499187) (← links)
- (Q4692880) (← links)
- Constructed product result analysis for Haskell (Q4819370) (← links)
- <scp>OutsideIn(X)</scp>Modular type inference with local assumptions (Q4918240) (← links)
- Derivable Type Classes (Q4921511) (← links)
- Build systems à la carte: Theory and practice (Q5110937) (← links)
- Work efficient higher-order vectorisation (Q5168903) (← links)
- Call-pattern specialisation for Haskell programs (Q5168935) (← links)
- Regular, shape-polymorphic, parallel arrays in Haskell (Q5176945) (← links)
- Making a fast curry (Q5178017) (← links)
- Scrap more boilerplate (Q5178039) (← links)
- Type checking with open type functions (Q5178755) (← links)
- FPH (Q5178770) (← links)
- Exploiting vector instructions with generalized stream fusion (Q5244786) (← links)
- Optimistic evaluation (Q5261284) (← links)
- Static contract checking for Haskell (Q5261504) (← links)
- Associated types with class (Q5276128) (← links)
- Programming Languages and Systems (Q5308688) (← links)
- Composable scheduler activations for Haskell (Q5371964) (← links)
