Browsing FAS Scholarly Articles by Keyword "Generativity"
Now showing items 1-1 of 1
-
Type Generativity in Higher-Order Module Systems
(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 ...