Wir verwenden Cookies und Analyse-Tools, um die Nutzerfreundlichkeit der Internet-Seite zu verbessern und für Marketingzwecke. Wenn Sie fortfahren, diese Seite zu verwenden, nehmen wir an, dass Sie damit einverstanden sind. Zur Datenschutzerklärung.
Standard ML
CHF 34.35
Auf Lager
SKU
IO2DN83A7AP
1 Verfügbar 
Geliefert zwischen Mi., 25.02.2026 und Do., 26.02.2026
Details
Please note that the content of this book primarily consists of articles available from Wikipedia or other free sources online. Standard ML (SML) 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 descendant of the ML programming language used in the Logic for Computable Functions (LCF) theorem-proving project. It is distinctive among widely used languages in that it has a formal specification, given as typing rules and operational semantics in The Definition of Standard ML (1990, revised and simplified as The Definition of Standard ML (Revised) in 1997).
Weitere Informationen
- Allgemeine Informationen
- GTIN 09786130911874
- Editor Lambert M. Surhone, Miriam T. Timpledon, Susan F. Marseken
- Größe H220mm x B220mm
- EAN 9786130911874
- Format Fachbuch
- Titel Standard ML
- Herausgeber Betascript Publishing
- Anzahl Seiten 96
- Genre Informatik
Bewertungen
Schreiben Sie eine Bewertung
