计算机代写 COMP 302: Programming Languages and Paradigms
COMP 302: Programming Languages and Paradigms Week 1: Basic Intro to OCaml Prof. Xujie Si A brief history of OCaml Copyright By PowCoder代写 加微信 powcoder A brief history of OCaml • Meta-language (ML), 1970s • Designed for developing theorem provers • Logic for Computable Functions (LCF) theorem-proving project • Standard ML, 1980s • Caml, 1980s […]
计算机代写 COMP 302: Programming Languages and Paradigms Read More »