Standard ML - PDFSEARCH.IO - Document Search Engine

Standard ML
Results: 230

#	Item
1	THE HISTORY OF STANDARD ML IDEAS, PRINCIPLES, CULTURE David MacQueen University of Chicago (Emeritus) Add to Reading List Source URL: sml-family.org Language: English - 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
2	Sorb Star © – VOC Reproducibility Sample preparation: 100 ml water with 10 µl standard concppm; 20µg of each component in solution; addition of 10 pcs Sorb Star© 24 hrpm stirred Add to Reading List Source URL: www.astechcorp.co.jp - Date: 2018-06-06 02:57:17
3	Heparin Sodium ヘパリンナトリウム Add the following next to Description: Identification Dissolve 1 mg each of Heparin Sodium and Heparin Sodium Reference Standard for physicochemical test in 1 mL of water, and u Add to Reading List Source URL: jpdb.nihs.go.jp Language: English - Date: 2016-08-24 07:11:32
4	SMLtoJs: Hosting a Standard ML compiler in a Web Browser Martin Elsman SimCorp A/S Abstract Add to Reading List Source URL: www.elsman.com Language: English - Date: 2018-07-28 10:25:51
5	Partial Evaluation of Standard ML Master’s Thesis Lars Birkedal Morten Welinder Add to Reading List Source URL: repository.readscheme.org - Date: 2010-10-22 08:05:06
6	The Definition of Standard ML Robin Milner Mads Tofte Robert Harper Laboratory for Foundations of Computer Science Department of Computer Science Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
7	National Aeronautics and Space Administration DAVE-ML: An XML Implementation of the AIAA Flight Dynamic Model Exchange Standard! Add to Reading List Source URL: daveml.org - Date: 2010-12-03 14:42:40
8	The Definition of Standard ML The Definition of Standard ML (Revised) Robin Milner, Mads Tofte, Robert Harper and David MacQueen Add to Reading List Source URL: sml-family.org - Date: 2016-04-04 09:33:37
9	OCaml Standard Library Standard Modules Basic Data Types Pervasives String Array Add to Reading List Source URL: www.lri.fr Language: English - Date: 2012-09-19 09:12:11 Software engineering Computer programming Programming language theory Functional languages OCaml Caml ML Ur Fold
10	A Type-Theoretic Interpretation of Standard ML Robert Harper and Christopher Stone frwh, School of Computer Science Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2001-06-27 15:19:02 Software engineering Programming language theory Computer programming Type theory Procedural programming languages Functional languages Logic in computer science Programming language semantics Standard ML Denotational semantics Monad Type system

UPDATE