Return to Article Details Encoding Types in ML-like Languages (Preliminary Version) Download Download PDF