Program generation for ML modules (short paper). - Takahisa Watanabe; Yukiyoshi Kameyama (PEPM, 2018)

Module generation without regret. - Yuhi Sato; Yukiyoshi Kameyama; Takahisa Watanabe (PEPM@POPL, 2020)