1. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 4 years ago |
    Archive.org Archive.today Ghostarchive
    | 2 comments
  1. 2
    jrwren avatar jrwren 4 years ago | link

    contrast to the modula 3 subtype relation https://dl.acm.org/citation.cfm?doid=75277.75295

    interesting

    1. 3
      nickpsecurity avatar nickpsecurity 4 years ago | link

      If it’s ACM or IEEE, it’s best to type name into Google to see if there’s a free PDF to post. In this case, there was: The Modula-3 Type System