Recursive Functional Algorithmic Language
Recursive Functional Algorithmic Language
(language)See also supercompilation.
[V.F. Turchin, "An algorithm of generalisation in thesupercompiler", Workshop on partial evaluation and mixedcomputations, Oct 1987, Denmark, Eds. D. Bjorner, A.P. Ershov,N.D. Jones].
[V. Turchin, "Supercompiler System Based on the LanguageRefal", V. Turchin, SIGPLAN Notices 14(2):46-54 (Feb 1979)].