28 citations · 28 across the 3 of their papers we have counts for
1 paper · 1 filter
Matthew Pickering, Andres Löh, Nicolas Wu
Multi-stage programming is a proven technique that provides predictable performance characteristics by controlling code generation. We propose a core semantics for Typed Template H…