Skip to content

Instantly share code, notes, and snippets.

@guilleiguaran

guilleiguaran/papers.md

Last active October 4, 2015 22:30
Download ZIP

Revisions

  1. guilleiguaran revised this gist Oct 4, 2015. No changes.
  2. guilleiguaran revised this gist Oct 4, 2015. 1 changed file with 3 additions and 2 deletions.
    5 changes: 3 additions & 2 deletions papers.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1,2 +1,3 @@
    [A Practical Subtyping System For Erlang - Simon Marlow and Philip Wadler](http://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf)
    [A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings - Miguel Jimenez, Tobias Lindahl and Konstantinos Sagonas](http://user.it.uu.se/~tobiasl/publications/contracts.pdf)
    - [A Practical Subtyping System For Erlang - Simon Marlow and Philip Wadler](http://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf)

    - [A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings - Miguel Jimenez, Tobias Lindahl and Konstantinos Sagonas](http://user.it.uu.se/~tobiasl/publications/contracts.pdf)
  3. guilleiguaran revised this gist Oct 4, 2015. 1 changed file with 2 additions and 1 deletion.
    3 changes: 2 additions & 1 deletion papers.md
    View file
    Original file line number Diff line number Diff line change
    @@ -1 +1,2 @@
    [A Practical Subtyping System For Erlang - Simon Marlow and Philip](http://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf)
    [A Practical Subtyping System For Erlang - Simon Marlow and Philip Wadler](http://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf)
    [A Language for Specifying Type Contracts in Erlang and its Interaction with Success Typings - Miguel Jimenez, Tobias Lindahl and Konstantinos Sagonas](http://user.it.uu.se/~tobiasl/publications/contracts.pdf)
  4. guilleiguaran created this gist Oct 4, 2015.
    1 change: 1 addition & 0 deletions papers.md
    View file
    Original file line number Diff line number Diff line change
    @@ -0,0 +1 @@
    [A Practical Subtyping System For Erlang - Simon Marlow and Philip](http://homepages.inf.ed.ac.uk/wadler/papers/erlang/erlang.pdf)