[PEPM'24] Scoped and Typed Staging by Evaluation | ACM SIGPLAN | Podwise