Typed closure conversion for the calculus of constructions.

William J. Bowman, Amal Ahmed

Browse the full PLDI paper archive.