2 ms·Indeed! For example, it is amazing how small Poly/ML is for a type-inferred multi-threaded language.by wyatwerp 8y agoIndeed! For example, it is amazing how small Poly/ML is for a type-inferred multi-threaded language.