You are here: irt.org | FOLDOC | PROOF%2fL
A functional, object-oriented language with implicit parallelism.
[J Parallel Dist Comp 12:202-212 (1991)].
[Forthcoming Technical Report from RADC].
(1994-10-31)
Nearby terms: Pronet « Pronunciation « proof « PROOF/L » proof theory » propeller head » propeller key
FOLDOC, Topics, 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, ?, ALL