Closing the stage: from staged code to typed closures.

Yukiyoshi Kameyama, Oleg Kiselyov, Chung-chieh Shan

Browse the full PEPM paper archive.