<--- Back to Details
First PageDocument Content
Functional languages / Type system / Type safety / Programming language / Haskell / OCaml / Racket / ML / ALGOL 68 / Software engineering / Computing / Programming language theory
Date: 2005-03-28 17:00:33
Functional languages
Type system
Type safety
Programming language
Haskell
OCaml
Racket
ML
ALGOL 68
Software engineering
Computing
Programming language theory

Technical Report UCAM-CL-TR-605 ISSNNumber 605

Add to Reading List

Source URL: www.lochan.org

Download Document from Source Website

File Size: 1,13 MB

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