Live briefing
Everything about Standard ML
General-purpose functional programming language
Standard ML (SML) is a general-purpose, high-level, modular, functional programming language with compile-time type checking and type inference. It is popular for writing compilers, for programming language research, and for developing theorem provers. It was created by Robert Harper. Wikipedia →
🧭 Start here: a 6-step reading path
- Read the overview: Standard MLA 5-minute orientation
- Skim a recent paper: When Should You Adjust Standard Errors for Clustering?Influential work since 2022
- Pick up a classic book: The definition of standard MLThe most-reprinted book on the subject
- Read the landmark paper: Multidrug-resistant, extensively drug-resistant and pandrug-resistant bacteria: an international expert proposal for interim standard definitions for acquired resistanceCited 12,292 times
- Go sideways: Haskell featuresA closely related topic
- Go sideways: Normalisation by evaluationA closely related topic
📖 Definitions
No dictionary entry for this exact phrase.
🗂️ The subject at a glance
🏆 Landmark papers (most cited)
Multidrug-resistant, extensively drug-resistant and pandrug-resistant bacteria: an international expert proposal for interim standard definitions for acquired resistance
Establishing a standard definition for child overweight and obesity worldwide: international survey
Estimating the sample mean and standard deviation from the sample size, median, range and/or interquartile range
Estimating Standard Errors in Finance Panel Data Sets: Comparing Approaches
Overview of the High Efficiency Video Coding (HEVC) Standard
Observation of a new particle in the search for the Standard Model Higgs boson with the ATLAS detector at the LHC
The Autism Diagnostic Observation Schedule—Generic: A Standard Measure of Social and Communication Deficits Associated with the Spectrum of Autism
Shifting the genomic gold standard for the prokaryotic species definition
🆕 Influential since 2022
When Should You Adjust Standard Errors for Clustering?
Microaxial Flow Pump or Standard Care in Infarct-Related Cardiogenic Shock
Cilta-cel or Standard Care in Lenalidomide-Refractory Multiple Myeloma
Lisocabtagene maraleucel versus standard of care with salvage chemotherapy followed by autologous stem cell transplantation as second-line treatment in patients with relapsed or refractory large B-cell lymphoma (TRANSFORM): results from an interim analysis of an open-label, randomised, phase 3 trial
Ide-cel or Standard Regimens in Relapsed and Refractory Multiple Myeloma
📚 Books worth reading
The definition of standard MLR. Milner, Robin Milner · 1997
Explorations in parallel distributed processingJames L. McClelland · 1988
Compiling with ContinuationsAndrew W. Appel · 1992
Ranked by number of editions on Open Library, a rough measure of how lasting a book is.
🔗 Related topics
- Haskell features This article describes the features in the programming language Haskell. A simple example that is often used to demonstrate the syntax of functional languages…
- Normalisation by evaluation In programming language semantics, normalisation by evaluation (NBE) is a method of obtaining the normal form of terms in the λ-calculus by appealing to…
- Tagged union In computer science, a tagged union, also called a variant, variant record, choice type, discriminated union, disjoint union, sum type, or coproduct, is…
- OCaml OCaml (/oʊˈkæməl/ oh-KAM-əl, formerly Objective Caml) is a general-purpose, high-level, multi-paradigm programming language which extends the Caml dialect…
- ATS (programming language) In computing, ATS (Applied Type System) is a multi-paradigm, general-purpose, high-level, functional programming language. It is a dialect of the programming…
- Option type In programming languages (especially functional programming languages) and type theory, an option type or maybe type is a polymorphic type that represents…
- Template (C++) Templates are a feature of the C++ programming language that allow functions and classes to operate with generic types. This allows a function or class…
- Operator overloading In computer programming, operator overloading, sometimes termed operator ad hoc polymorphism, is a specific case of polymorphism, where different operators…