- https://www.mpi-sws.org/~rossberg/papers/Rossberg%20-%20Typed%20Open%20Programming.pdf
- http://www.cis.upenn.edu/~bcpierce/courses/629/papers/Saraswat-javabug.html
- https://books.google.ro/books?id=A5ic1MPTvVsC&pg=PA303&lpg=PA303&dq=type+safety+and+linkers&source=bl&ots=PorxgGbx8y&sig=mRUmqqY4bVhrpmXe8xDMHiwXByE&hl=en&sa=X&ved=0CDcQ6AEwBDgKahUKEwio9LzB99zHAhWFCBoKHb6_CJ8#v=onepage&q=%22language-specific%20linkers%22&f=false
- http://glew.org/nglew/papers/mtal.pdf
- http://www.dmst.aueb.gr/dds/pubs/jrnl/1991-SIGPLAN-CType/html/tsl.pdf
- http://lucacardelli.name/Papers/Linking.pdf
- https://upsilon.cc/~zack/research/publications/jfla10-dh-ocaml.pdf
- http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.142.4305&rep=rep1&type=pdf
Last active
May 13, 2020 12:05
-
-
Save igstan/390fd86d7a1ae14bfa58 to your computer and use it in GitHub Desktop.
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment