irif.fr: 3 stories from 3 submitters

  1. 11
    A Gradual Gradual Type System for Elixir pdf elixir plt irif.fr
    acco avatar via acco 5 months ago |
    Archive.org Archive.today Ghostarchive
    | 3 comments
  2. 4
    Coq Coq Correct: Verification of Type Checking and Erasure forCoq, in Coq pdf formalmethods irif.fr
    lthms avatar via lthms 4 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments
  3. 1
    Covariance and Contravariance: a fresh look at an old issue pdf compsci irif.fr
    pushcx avatar via pushcx 6 years ago |
    Archive.org Archive.today Ghostarchive
    | no comments