7 citations · 7 across the 2 of their papers we have counts for
Showing cs.PLShow all
2 papers · 1 filter
cs.PL2021
A Specification for Typed Template Haskell
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…
cs.PL2012★ 7 cited
A Formal Comparison of Approaches to Datatype-Generic Programming
José Pedro Magalhães, Andres Löh
Datatype-generic programming increases program abstraction and reuse by making functions operate uniformly across different types. Many approaches to generic programming have been…