Programming Language - PPLambda

PPLambda

PPLambda - Essentially the first-order predicate calculus superposed upon
the simply-typed polymorphic lambda-calculus. The object language for LCF.
"Logic and Computation: Interactive Proof with Cambridge LCF", L. Paulson,
Cambridge U Press, 1987.

Comments, Experience, Additions

Name: *

Email Address: *

City, Country:

Comments: *

17 plus 0? *   Robot Spam Prevention

 

Next Language:   P+

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