Programming Language - SML

SML

SML -
1. Standard ML. R. Milner ca. 1984. Aimed to
unify the dialects of ML, has evolved into a robust general-purpose
language. Functional, with imperative features. Environment based,
strict. Adds to ML the call-by-pattern of Hope, recursive data types,
reference types, typed exceptions, and modules. (The "core" language
excludes the modules.) "A Proposal for Standard ML", R. Milner, ACM Symp
on LISP and Functional Prog 1984, pp.184-197.
Implementations:
SML/NJ - Standard ML of New Jersey, Version 0.75 ftp://cs.yale.edu/pub/ml
and //research.att.com/dist/ml
Edinburgh SML - Core language only. Byte-code interpreter in C. Ported
to Amiga, Atari, Archimedes and IBM PC.
info:
ftp://ftp.dcs.ed.ac.uk/pub/edml/EDML4 EdML V 0.44
Moscow SML - Sergei Romanenko Core
language only. Based on CAML Light and the ML Kit. For Unix, MS-DOS, and
MS Windows.
ftp://dina.kvl.dk/pub/Peter.Sestoft/mosml/*
info:Peter Sestoft
POPLOG ML - U Sussex. For the Poplog system.
Poly/ML - Implemented in Poly[1], for MC68020 and SPARC. Abstract
Hardware Ltd .
ANU ML - Aust Natl U. For MC68020, VAX and Pyramid.
Micro ML - U Umea, Sweden. Interpreter of an ML subset, for MS-DOS.
list: sml-request@cs.cmu.edu
ftp://sbcs.sunysb.edu, a lazy version
sml2c - portable, written in SML. Language extensions include first-
class continuations, asynchronous signal handling.
info:
ftp://dravido.soar.cs.cmu.edu/usr/nemo/sml2c:sml2c.tar.Z
2. Small Machine Language. Barnes, ICI 1969. Real-time language, an
ALGOL variant, and the predecessor of RTL. "SML Users Guide", J.G.P.
Barnes, ICI, TR JGPB/69/35 (1969).

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

1 plus 4? *   Robot Spam Prevention

 

Next Language:   SML/NJ

Browse by Letter

A

B

C

D

E

F

G

H

I

J

K

L

M

N

O

P

Q

R

S

T

U

V

W

X

Y

Z