<--- Back to Details
First PageDocument Content
Procedural programming languages / Functional languages / Standard ML / Type safety / Library / Make / ML / Extended Backus–Naur Form / Modular programming / Computing / Software engineering / Computer programming
Date: 2006-11-07 10:53:07
Procedural programming languages
Functional languages
Standard ML
Type safety
Library
Make
ML
Extended Backus–Naur Form
Modular programming
Computing
Software engineering
Computer programming

CM The SML/NJ Compilation and Library Manager (for SML/NJ version[removed]and later) User Manual Matthias Blume

Add to Reading List

Source URL: www.smlnj.org

Download Document from Source Website

File Size: 297,73 KB

Share Document on Facebook

Similar Documents

Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th

Luca Cardelli and the Early Evolution of ML David MacQueen Abstract Luca Cardelli has made an enormous range of contributions, but the focus of this paper is the beginning of his career and, in particular, his role in th

DocID: 1xVzs - View Document

arXiv:1711.04291v2 [stat.ML] 15 NovScale out for large minibatch SGD: Residual network training on ImageNet-1K with improved accuracy and reduced time to train Valeriu Codreanu

arXiv:1711.04291v2 [stat.ML] 15 NovScale out for large minibatch SGD: Residual network training on ImageNet-1K with improved accuracy and reduced time to train Valeriu Codreanu

DocID: 1xVlq - View Document

Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber  Magnus Stenqvist

Resource Monitoring for Poly/ML Processes David Matthews Tjark Weber Magnus Stenqvist

DocID: 1xUMz - View Document

THE HISTORY OF STANDARD ML  IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus)

DocID: 1xUwQ - View Document

Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric

Moscow ML Language Overview Version 2.00 of June 2000 Sergei Romanenko, Russian Academy of Sciences, Moscow, Russia Claudio Russo, Cambridge University, Cambridge, United Kingdom Peter Sestoft, Royal Veterinary and Agric

DocID: 1xUqd - View Document