Safe and Flexible Dynamic Linking of Native Code

Michael W. Hicks, Stephanie Weirich, Karl Crary. Safe and Flexible Dynamic Linking of Native Code. In Robert Harper, editor, Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers. Volume 2071 of Lecture Notes in Computer Science, pages 147-176, Springer, 2000. [doi]

@inproceedings{HicksWC00,
  title = {Safe and Flexible Dynamic Linking of Native Code},
  author = {Michael W. Hicks and Stephanie Weirich and Karl Crary},
  year = {2000},
  url = {http://link.springer.de/link/service/series/0558/bibs/2071/20710147.htm},
  researchr = {https://researchr.org/publication/HicksWC00},
  cites = {0},
  citedby = {0},
  pages = {147-176},
  booktitle = {Types in Compilation, Third International Workshop, TIC 2000, Montreal, Canada, September 21, 2000, Revised Selected Papers},
  editor = {Robert Harper},
  volume = {2071},
  series = {Lecture Notes in Computer Science},
  publisher = {Springer},
  isbn = {3-540-42196-3},
}