Pages that link to "Item:Q532398"
From MaRDI portal
The following pages link to Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398):
Displaying 9 items.
- Multi-stage programming with functors and monads: eliminating abstraction overhead from generic code (Q532398) (← links)
- Partial evaluation of Maple (Q532411) (← links)
- Gaussian elimination: a case study in efficient genericity with MetaOCaml (Q2507767) (← links)
- Adaptable software -- modular extensible monadic entry-pointless type checker in Haskell (Q2893602) (← links)
- Theory Presentation Combinators (Q2907324) (← links)
- Shifting the stage. Staging with delimited control (Q2913928) (← links)
- MathScheme: Project Description (Q5200128) (← links)
- Reasoning about multi-stage programs (Q5371979) (← links)
- High-Level Theories (Q5505502) (← links)