Implementing Typed Intermediate Languages.

Zhong Shao, Christopher League, Stefan Monnier

Browse the full ICFP paper archive.