Type-safe generation of modules in applicative and generative styles.

Yuhi Sato, Yukiyoshi Kameyama

Browse the full GPCE paper archive.