@InProceedings{duggan00:tmal,
  author = 	 {Dominic Duggan},
  title = 	 {Sharing in Typed Modular Assembly Language},
  booktitle = 	 {Types in Compilation},
  pages =	 {85--116},
  year =	 2000,
  editor =	 {Robert Harper},
  volume =	 2071,
  series =	 {Lecture Notes in Computer Science},
  publisher =	 {Springer Verlag}
}