Skip to content

@SMLFamily The Standard ML Language Family

Change the repository type filter

All

    Repositories list

    7 repositories

    • Successor-ML

      Public
      A version of the 1997 SML definition with corrections and some proposed Successor ML features added.
      TeX
      •10•206•46•4•Updated Aug 15, 2024Aug 15, 2024

    • SMLFamily.github.io

      Public
      Web site for standardml.org.
      HTML
      •6•36•4•2•Updated Oct 17, 2023Oct 17, 2023

    • The-Mechanization-of-Standard-ML

      Public
      The Mechanization of Standard ML
      4•75•0•0•Updated Jul 18, 2022Jul 18, 2022

    • BasisLibrary

      Public
      Repository and Wiki for enriching the Standard ML Basis Library
      Standard ML
      •5•64•32•1•Updated Nov 30, 2021Nov 30, 2021

    • The-Definition-of-Standard-ML-Revised

      Public
      The Definition of Standard ML, Revised (1997)
      TeX
      •13•117•2•1•Updated May 13, 2017May 13, 2017

    • SML-The-Living-Language

      Public
      SML, The Living Language (aka, Successor ML)
      6•72•1•0•Updated Apr 4, 2016Apr 4, 2016

    • The-Definition-of-Standard-ML

      Public
      The Definition of Standard ML (1990)
      TeX
      •11•125•1•0•Updated Oct 27, 2014Oct 27, 2014
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.