Showing cs.PLShow all
2 papers · 1 filter
cs.PL2026
Progress in Benchmarking Generics for Mathematical Computation
Daniel Pang, Stephen M. Watt
The original SciGMark benchmark adapted the SciMark numerical suite to measure the cost of generic programming in scientific computing. In the twenty years since, generics have bec…
cs.PL2026
Look Before You Leap: Checking In on Type Tag Checking
Stephen M. Watt
Tagging of generic dynamic values is important in symbolic-computation and dynamic-language systems, but the trade-offs change as machine architectures and workloads evolve. In par…