An implementation of Morrisett's Typed Assembly Language