Implementing a typed assembly language and its machine model - Medel, Ricardo H.