For each of the following ML declarations, either justify their ability to be soundly used or give
Fantastic news! We've Found the answer you've been seeking!
Question:
For each of the following ML declarations, either justify their ability to be soundly used or give a program using them which would violate type safety: (i) exception poly of ’a; (ii) val ml = ref [];
Related Book For
Posted Date: