PLDB
Languages Features Calendar CSV Lists Blog About Sponsor Add Language
GitHub icon

ML

ML

ML, aka Meta Language, is a pl created in 1973 by Robin Milner.

#129on PLDB 49Years Old 2.7kUsers
33Books 30Papers

ML ('Meta Language') is a general-purpose functional programming language. It has roots in Lisp, and has been characterized as "Lisp with types". It is known for its use of the polymorphic Hindley–Milner type system, which automatically assigns the types of most expressions without requiring explicit type annotations, and ensures type safety – there is a formal proof that a well-typed ML program does not cause runtime type errors. Read more on Wikipedia...


Example from Wikipedia:
structure Rational : ARITH = struct datatype t = Rat of int * int; val zero = Rat(0,1); fun succ(Rat(a,b)) = Rat( a+b , b ); fun sum (Rat(a,b), Rat(c,d)) = Rat(a*d+ c*b , b*d) : t ; end

Language features

Feature Supported Example Token
Assignment :=
Garbage Collection
Line Comments ϴ

Books about ML from ISBNdb

title authors year publisher
Elements of ML Programming, ML97 Edition Ullman, Jeffrey 1998 Pearson
AI & ML - Powering the Agents of Automation: Demystifying, IOT, Robots, ChatBots, RPA, Drones & Autonomous Cars- The new workforce led Digital ... by AI & ML and secured through Blockchain M, Deepika and Cuddapah, Vijay and Srivastava, Amitendra and Mahankali, Srinivas 2019 BPB Publications
Deep Reinforcement Learning in Unity: With Unity ML Toolkit Majumder, Abhilash 2020 Apress
Monetizing Machine Learning: Quickly Turn Python ML Ideas into Web Applications on the Serverless Cloud Amunategui, Manuel and Roopaei, Mehdi 2018 Apress
ML for the Working Programmer, 2nd Edition L. C. Paulson 1996 Cambridge University Press
Learn Unity ML-Agents – Fundamentals of Unity Machine Learning: Incorporate new powerful ML algorithms such as Deep Reinforcement Learning for games Lanham, Micheal 2018 Packt Publishing
Concurrent Programming in ML Reppy, John H. 2007 Cambridge University Press
Hands-On Machine Learning with TensorFlow.js: A guide to building ML applications integrated with web technology using the TensorFlow.js library Sasaki, Kai 2019 Packt Publishing
ML for the Working Programmer Paulson, Lawrence C. 1991 Cambridge University Press
Machine Learning Projects for Mobile Applications: Build Android and iOS applications using TensorFlow Lite and Core ML NG, Karthikeyan 2018 Packt Publishing
Concurrent Programming in ML Reppy, John H. 1999 Cambridge University Press
Machine Learning Projects for Mobile Applications: Build Android and iOS applications using TensorFlow Lite and Core ML NG, Karthikeyan 2018 Packt Publishing
Machine Learning Cookbook with Python: Create ML and Data Analytics Projects Using Some Amazing Open Datasets (English Edition Guha, Rehan 2020 BPB Publications
Functional Programming Using Standard Ml (Prentice Hall International Series in Computer Science) Wikstrom, Ake 1987-06-01T00:00:01Z Prentice Hall
Elements of Ml Programming Ullman, Jeffrey D. 1994-06T Prentice Hall
Functional Programming Using Standard Ml (Prentice-hall International Series in Computer Science) Wikstrom, Ake 1988-10-01T00:00:01Z Prentice Hall
A Practical Course in Functional Programming Using ML Bosworth, Richard 1995 McGraw-Hill
Practical Full Stack Machine Learning: A Guide to Build Reliable, Reusable, and Production-Ready Full Stack ML Solutions (English Edition) Kumar, Alok 2021 BPB Publications
Beginning iOS 12 & Swift App Development: Develop iOS Apps with Xcode 10, Swift 4, Core ML 2, ARKit 2 and more Lim, Greg 2019 Independently published
Elements Of Ml Programming Jeffrey D. Ullman 1998
ML for the Working Programmer Larry C. Paulson 19960628 Cambridge University Press
Modern Compiler Implementation in ML Andrew W. Appel 20040708 Cambridge University Press
The Standard ML Basis Library Emden R. Gansner 20040405 Cambridge University Press
ML for the Working Programmer Larry C. Paulson 19960628 Cambridge University Press
Modern Functional Programming In Ml Addison Wesley
The Standard ML Basis Library Emden R. Gansner and John H. Reppy 2004 Cambridge University Press
Programming With Standard Ml (bcs Practitioner) Colin Myers and Chris Clack and Ellen Poon 1993 Prentice Hall
Articles On Ml Programming Language Family, Including Hephaestus Books 2011
Programming Languages Created In 1990: Standard Ml Books and LLC 2010
ML with Concurrency: Design, Analysis, Implementation, and Application Flemming Nielson 2012 Springer-Verlag New York, LLC
Programmierung - eine Einführung in die Informatik mit Standard ML Gert Smolka 20120917 De Gruyter
Programmierung - eine Einführung in die Informatik mit Standard ML Gert Smolka 20090101 De Gruyter
Applicative High Order Programming: Standard Ml In Practice (chapman And Hall Computing Series) S. Sokolowski 1991 Chapman & Hall

Publications about ML from Semantic Scholar

title authors year citations influentialCitations
Definition of standard ML R. Milner and M. Tofte and R. Harper 1990 2479 100
Concurrent programming in ML J. Reppy 1999 304 35
Recursion and dynamic data-structures in bounded space: towards embedded ML programming John Hughes and L. Pareto 1999 147 7
From ML to Ada: Strongly-typed language interoperability via source translation A. Tolmach and D. Oliva 1998 109 10
Programming Objects with ML-ART, an Extension to ML with Abstract and Record Types Didier Rémy 1994 91 3
Dependent ML An approach to practical programming with dependent types H. Xi 2007 83 6
Resource Aware ML Jan Hoffmann and Klaus Aehlig and M. Hofmann 2012 78 7
Proof-producing translation of higher-order logic into pure and stateful ML Magnus O. Myreen and Scott Owens 2014 52 7
Programming by Examples: PL Meets ML Sumit Gulwani and Prateek Jain 2017 39 2
ML for the Working Programmer (2nd edition) by L. C. Paulson, Cambridge University Press, 1996. A Practical Course in Functional Programming Using Standard ML by R. Bosworth, McGraw Hill, 1996. C. Reade 1997 34 2
Proof-producing synthesis of ML from higher-order logic Magnus O. Myreen and Scott Owens 2012 30 3
Programming with Behaviors in an ML Framework - The Syntax and Semantics of LCS B. Berthomieu and T. Sergent 1994 27 3
Making standard ML a practical database programming language A. Ohori and Katsuhiro Ueno 2011 27 1
Eliom: A Core ML Language for Tierless Web Programming Gabriel Radanne and Jérôme Vouillon and V. Balat 2016 22 4
FabULous Interoperability for ML and a Linear Language G. Scherer and Max S. New and Nick Rioux and A. Ahmed 2017 13 0
Functional Parallel Programming with Revised Bulk Synchronous Parallel ML Wadoud Bousdira and F. Gava and Louis Gesbert and F. Loulergue and Guillaume Petiot 2010 11 1
ML Pattern-Matching, Recursion, and Rewriting: From FoCaLiZe to Dedukti Raphaël Cauderlier and Catherine Dubois 2016 7 0
Multi-ML: Programming Multi-BSP Algorithms in ML Victor Allombert and F. Gava and J. Tesson 2017 7 0
Program generation for ML modules (short paper) Takahisa Watanabe and Yukiyoshi Kameyama 2017 6 0
The history of Standard ML David B. MacQueen and R. Harper and J. Reppy 2020 5 0
Functional programming languages for verification tools: a comparison of Standard ML and Haskell M. Leucker and T. Noll and P. Stevens and Michael Weber 2005 4 0
Implementing Algorithmic Skeletons with Bulk Synchronous Parallel ML F. Loulergue 2017 4 0
Categorical ML — Category-theoretic modular programming E. Dennis-Jones and D. Rydeheard 1993 3 0
A BSPlib-style API for Bulk Synchronous Parallel ML F. Loulergue 2017 2 0
An ML Implementation of the MULTI-BSP Model Victor Allombert and F. Gava 2018 2 0
Programming bsp and multi-bsp algorithms in ml Victor Allombert and F. Gava 2018 2 0
ML grid programming with ConCert Tom Murphy Vii 2006 1 0
ML grid programming with ConCert Tom Murphy 2006 1 0
PML2: Integrated Program Verification in ML Rodolphe Lepigre 2019 1 0
Functional Programming in ML Lawrence Charles Paulson 2010 1 0
oberon.html · ml.html · url.html

View source

PLDB - Build the next great programming language · v2022 · Day 31 · Docs · Build · Acknowledgements · Traffic Today · Traffic Trends · Mirrors · GitHub · feedback@pldb.com