You are here: irt.org | FOLDOC | PCF
A simply typed, functional language.
["Fully Abstract Translations Between Functional Languages", J. Riecke, 18th POPL, pp. 245-254 (1991)].
["LCF Considered as a Programming Language", Theor CS 5:223, 1977].
(1996-01-18)
Nearby terms: PCB « PC Card « PCCTS « PCF » PCI » PCI bus » PCI Configuration Utility
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