Glew, Neal and Greg Morrisett. Type-Safe Linking and Modular Assembly Language.

[POPL 1999] (1999) [ACM SIGACT-SIGPLAN] The Twenty-Sixth ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, San Antonio, TX, USA, January 1999.  

Languages mentioned TAL {1997} Assembly language for TALC