Learn More
data types can be expressed neatly by treating their definition as transparent inside the module defining them, and as opaque outside it. Transparent definitions are easily implemented. In principle,(More)