Morrisett, Greg; David Walker, Karl Crary, and Neal Glew. From System F to Typed Assembly Language.

[POPL 1998] (1998) The Twenty-Fifth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Diego, CA, USA, January 1998  

Languages mentioned TAL {1997} Assembly language for TALC