Report - Functional Programming · !2 Dialects of ML ML (Meta Language) • Univ. of Edinburgh,1973 • Part of theorem-proving system LCF (Logic of Computable Functions) SML/NJ (Standard

Please pass captcha verification before submit form