Compiling with Types (1995)

by Greg Morrisett