<--- Back to Details
First PageDocument Content
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
Date: 2016-04-04 09:33:37
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)

Add to Reading List

Source URL: sml-family.org

Download Document from Source Website

File Size: 4,34 MB

Share Document on Facebook

Similar Documents

Synthesis of Differentiable Functional Programs for Lifelong Learning  Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

Synthesis of Differentiable Functional Programs for Lifelong Learning Lazar Valkov 1 Dipak Chaudhari 2 Akash Srivastava 1 Charles Sutton 1 Swarat Chaudhuri 2 1. Summary Differentiable programming languages (Paszke et al

DocID: 1xVxf - View Document

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

Compiling functional languages Xavier Leroy INRIA Rocquencourt Spring school “Semantics of programming languages” Agay, 24-29 March 2002

DocID: 1vcx1 - View Document

Marcel Beemster is a Senior Software Engineer at ACE Associated Compiler Experts bv. He received his PhD from the University of Amsterdam for compiler analysis of fine-grained parallelism in functional languages and he h

Marcel Beemster is a Senior Software Engineer at ACE Associated Compiler Experts bv. He received his PhD from the University of Amsterdam for compiler analysis of fine-grained parallelism in functional languages and he h

DocID: 1uWAg - View Document

c 1993 Cambridge University Press J. Functional Programming 1 (1): 1{000, JanuaryBenchmarking Implementations of Functional Languages with

c 1993 Cambridge University Press J. Functional Programming 1 (1): 1{000, JanuaryBenchmarking Implementations of Functional Languages with

DocID: 1uBwt - View Document

Functional Query Languages with Categorical Types  A dissertation presented by Ryan Wisnesky to

Functional Query Languages with Categorical Types A dissertation presented by Ryan Wisnesky to

DocID: 1uyFh - View Document