Inlining as staged computation (0)

by Stefan Monnier, Zhong Shao
Venue:J. Funct. Program