@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=}
}