Crary, Karl ; Michael Hicks and Stephanie Weirich. Safe and Flexible Dynamic Linking of Native Code

[WTIC] (2000) The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.  

Languages mentioned TAL {1997} Assembly language for TALC