Skip to content

Instantly share code, notes, and snippets.

@igstan

igstan/linker-type-safety.md

Last active May 13, 2020 12:05
Download ZIP

Revisions

  1. igstan revised this gist May 13, 2020. 1 changed file with 1 addition and 1 deletion.
    2 changes: 1 addition & 1 deletion linker-type-safety.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,7 +1,7 @@
    - 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://www.eecs.harvard.edu/~greg/papers/mtal.pdf
    - 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
  2. igstan revised this gist Sep 4, 2015. 1 changed file with 1 addition and 0 deletions.
    1 change: 1 addition & 0 deletions linker-type-safety.md
    View file
    Original file line number Diff line number Diff line change
    @@ -5,3 +5,4 @@
    - 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
  3. igstan created this gist Sep 4, 2015.
    7 changes: 7 additions & 0 deletions linker-type-safety.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1,7 @@
    - 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://www.eecs.harvard.edu/~greg/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