Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language. In ACM Transactions on Programming Languages and Systems, 21(3):528-569, May 1999.
(1999)
Languages mentioned
TAL
{1997} Assembly language for TALC