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)
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)
FOLDOC computer English dictionary. Английский словарь по компьютерам FOLDOC. 2012