<--- Back to Details
First PageDocument Content
Procedural programming languages / Functional languages / Functional programming / Type theory / Standard ML / Data types / ML / Monad / Pattern matching / Software engineering / Computing / Computer programming
Date: 2004-01-09 16:57:18
Procedural programming languages
Functional languages
Functional programming
Type theory
Standard ML
Data types
ML
Monad
Pattern matching
Software engineering
Computing
Computer programming

Why Standard ML? A language particularly suited to compiler implementation.

Add to Reading List

Source URL: www.classes.cs.uchicago.edu

Download Document from Source Website

File Size: 172,34 KB

Share Document on Facebook

Similar Documents

Software engineering / Computing / Computer programming / Functional languages / Procedural programming languages / Type theory / Fellows of the Royal Society / Data types / ML / Logic for Computable Functions / Luca Cardelli / Robin Milner

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

Artificial neural networks / Computational neuroscience / Computing / Applied mathematics / Artificial intelligence / Databases / ImageNet / Convolutional neural network / Skylake / Scalability / Deep learning / Ensemble learning

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

Computing / Software engineering / Computer programming / Functional languages / Procedural programming languages / Standard ML / ML / Garbage collection / Poly / JFreeChart

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

DocID: 1xUMz - View Document

Software engineering / Programming language theory / Computing / Functional languages / Models of computation / Procedural programming languages / Christopher Strachey / Control flow / ISWIM / PAL / Fundamental Concepts in Programming Languages / Peter Landin

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

DocID: 1xUwQ - View Document

Software engineering / Computing / Computer programming / Procedural programming languages / Functional languages / Data types / Standard ML / Type theory / Scope / ML / Variable / Operator

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