First-class Runtime Generation of High-performance Types using Exotypestheory.stanford.edu3 pointseslaught12 years ago