Dictionary De - En
De - Es
De - Pt| English Dictionary: PCF | by the DICT Development Group |
| 1 result for PCF | |
| From The Free On-line Dictionary of Computing (15Feb98) [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) | |
