The 2000 ACM SIGPLAN Workshop on Types in Compilation, Montreal, Canada, September 2000.

[SIGPLAN] SIGPLAN Notices  

Crary, Karl ; Michael Hicks and Stephanie Weirich. (2000) Crary, Karl ; Michael Hicks and Stephanie Weirich. Safe and Flexible Dynamic Linking of Native Code Grossman, Dan and Greg Morrisett. (2000) Grossman, Dan and Greg Morrisett. Scalable Certification for Typed Assembly Language.