Programming Language - ML

ML

ML -
1. Manipulator Language. IBM language for handling robots.
2. Meta Language. R. Milner et al, 1973. A
strict higher-order functional language with statically-checked polymorphic
types, garbage collection and a formal semantics. It began as the
metalanguage for the Edinburgh LCF proof assistant. (LCF="Logic for
Computable Functions") "A Metalanguage for Interactive Proof in LCF",
M.J.C. Gordon et al, 5th POPL, ACM 1978. (See SML). LCF ML was
implemented in Stanford LISP. Cardelli (1981) implemented ML in Pascal,
using the FAM (Functional Abstract Machine).

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

7 plus 7? *   Robot Spam Prevention

 

Next Language:   ML Threads

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