Everything About ___
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

  1. Read the overview: Standard MLA 5-minute orientation
  2. Skim a recent paper: When Should You Adjust Standard Errors for Clustering?Influential work since 2022
  3. Pick up a classic book: The definition of standard MLThe most-reprinted book on the subject
  4. 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
  5. Go sideways: Haskell featuresA closely related topic
  6. Go sideways: Normalisation by evaluationA closely related topic

📖 Definitions

No dictionary entry for this exact phrase.

🏆 Landmark papers (most cited)

🆕 Influential since 2022

📚 Books worth reading

Ranked by number of editions on Open Library, a rough measure of how lasting a book is.

🔗 Related topics