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

PCF

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

©2018 Martin Webb