Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi
-
Updated
Nov 30, 2020 - TeX
Standard ML (SML; "Standard Meta Language") is a general-purpose, modular, functional programming language with compile-time type checking and type inference. It is popular among compiler writers and programming language researchers, as well as in the development of theorem provers.
SML is a modern dialect of ML, the programming language used in the Logic for Computable Functions theorem-proving project. It is distinctive among widely used languages in that it has a formal specification.
Assignments for course COL765 - Introduction to Logical and Functional Programming at IIT Delhi
Collezione degli esami del corso di Programmazione Funzionale tenuto all'Università degli Studi di Trento.
Annotations and commentary on the 1997 Definition of Standard ML
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983