Refal/Supercompilation Community:Recursive functions algorithmic language, for symbol manipulation: string processing, translation, artificial intelligence. News, biography, history, documents, training, applications, fora, links. English, Russian. [Open Source, BSD-like]
About Valentin Turchin: On Refal's creator: photo, contact information, curriculum vitae, research interests, some publications. [Principia Cybernetica Web]
Leonid Belous: Projects with downloads: Refal-РНР, Refal-SciTE. [Open Source, BSD-like]
Mikhail Burtsev: Curriculum vitae, publications, philosophy, links.
REFAL Programming Language: Growing article, with links to related topics. [Wikipedia]
Refal-5: Several downloads. Refal-5: Programming Guide and Reference Manual (by V. Turchin): online, zipfile; Refal-5 compiler executables and documents for varied operating systems. Refal-C translator.
SuperCompilers, LLC: Business set up in 1998 to commercialize and spread Refal technology, by applying it to more complex and commercially viable Java language. Related documents, services, products.