Home Articles FAQs XREF Games Software Instant Books BBS About FOLDOC RFCs Feedback Sitemap
irt.Org

PROOF/L

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

©2018 Martin Webb