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

Recursive Functional Algorithmic Language

You are here: irt.org | FOLDOC | Recursive Functional Algorithmic Language

<language> (REFAL) A language developed by V.F. Turchin (later at CUNY?) in Moscow in about 1972.

See also supercompilation.

[V.F. Turchin, "An algorithm of generalisation in the supercompiler", Workshop on partial evaluation and mixed computations, Oct 1987, Denmark, Eds. D. Bjorner, A.P. Ershov, N.D. Jones].

[V. Turchin, "Supercompiler System Based on the Language Refal", V. Turchin, SIGPLAN Notices 14(2):46-54 (Feb 1979)].


Nearby terms: recursive acronym « recursive definition « recursive descent parser « Recursive Functional Algorithmic Language » Recursive Macro Actuated Generator » recursive type » Red

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