@inproceedings{ancona2003calculus,
  author = {Ancona, Davide and Fagorzi, Sonia and Zucca, Elena},
  booktitle = {Italian Conference on Theoretical Computer Science},
  date-added = {2020-11-15 23:36:57 -0800},
  date-modified = {2020-11-15 23:36:57 -0800},
  organization = {Springer},
  pages = {284--301},
  title = {A calculus for dynamic linking},
  year = {2003},
  bdsk-file-1 = {YnBsaXN0MDDSAQIDBFxyZWxhdGl2ZVBhdGhZYWxpYXNEYXRhXxAfcGFwZXJzL2FuY29uYTIwMDNjYWxjdWx1cy1hLnBkZk8RAYYAAAAAAYYAAgAADE1hY2ludG9zaCBIRAAAAAAAAAAAAAAAAAAAAAAAAABCRAAB/////xhhbmNvbmEyMDAzY2FsY3VsdXMtYS5wZGYAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAD/////AAAAAAAAAAAAAAAAAAEAAwAACiBjdQAAAAAAAAAAAAAAAAAGcGFwZXJzAAIAPi86VXNlcnM6Z2FtYmxpbjI6c3JjOmJ1aWxkLWJpYjpwYXBlcnM6YW5jb25hMjAwM2NhbGN1bHVzLWEucGRmAA4AMgAYAGEAbgBjAG8AbgBhADIAMAAwADMAYwBhAGwAYwB1AGwAdQBzAC0AYQAuAHAAZABmAA8AGgAMAE0AYQBjAGkAbgB0AG8AcwBoACAASABEABIAPFVzZXJzL2dhbWJsaW4yL3NyYy9idWlsZC1iaWIvcGFwZXJzL2FuY29uYTIwMDNjYWxjdWx1cy1hLnBkZgATAAEvAAAVAAIAD///AAAACAANABoAJABGAAAAAAAAAgEAAAAAAAAABQAAAAAAAAAAAAAAAAAAAdA=}
}