SML/NJ simple kernel for Jupyter/IPython Notebook
-
Updated
Jun 18, 2017 - Python
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.
SML/NJ simple kernel for Jupyter/IPython Notebook
🔌 Programming Languages, Abstract Syntax Tree, Functional Programming, Logic Programming, Assembly, Disassembly, Python, Java, JCoCo VM, Standard ML, LISP, Perl, Prolog 🛠️
Created by Robin Milner, Mads Tofte, Robert Harper
Released 1983