Linker types? I think I recall Amal Ahmed gave a talk on them. http://www.ccs.neu.edu/home/amal/papers/linking-types.pdf http://www.ccs.neu.edu/home/amal/papers

Linker types? I think I recall Amal Ahmed gave a talk on them. http://www.ccs.neu.edu/home/amal/papers/linking-types.pdf http://www.ccs.neu.edu/home/amal/papers/linking-types.pdf