1. 9
    Refinement Types in ML (1991) pdf compilers compsci ml programming cs.cmu.edu
    nickpsecurity avatar via nickpsecurity 7 months ago | cached | 2 comments

  1.  

  2. 2
    jrwren avatar jrwren 7 months ago | link

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

    interesting

    1. 3
      nickpsecurity avatar nickpsecurity 7 months 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