Now showing items 1-1 of 1

    • Type Generativity in Higher-Order Module Systems 

      Govereau, Paul (2005)
      We present a higher-order module system similar to those found in Standard ML and Objective Caml. Our system allows both generative and non-generative types. Unlike other systems, the generativity of a type is reflected ...