Encoding types in ML-like languages ... A Hindley-Milner type system such as ML's seems to prohibit type-indexed values, i.e., functions that map a family ...
確定! 回上一頁