REcursive Functions Algorithmic Language

By Prof. Valentin F. Turchin
The City College of New York

• Refal-5: programming guide and reference manual online . ( new syntax )

• Refal-5: programming guide and reference manual. ( new syntax )

  • A zip-file on the main server.
  • A zip-file on the second server.

• ^new An attachment to the programming guide and reference manual ( 332Kb ). Last updated 20.09.2019.

• ^new Version ПѮ executables modules for Windows-10 (Intel x86_64) ( 3,6Mb ) are also available from the Refal Institute site. Last updated 23.09.2025. ( Unpack with pkunzip -d )

• Version PZ executables for Windows NT/2000/XP ( 233Kb ). Last updated 29.10.2004. ( Unpack with pkunzip -d . )

• Version PZ executables for Windows 95 ( 221Kb ). Last updated 16.11.2000. ( Unpack with pkunzip -d . )

• Version PZ executables for Windows Mobile 5.0 ( 66Kb ). Last updated 01.03.2008. ( Unpack with pkunzip -d . )

  • Refal-5 under Windows Mobile: using guide.

• Version PZ executables for Linux version 2.2 , Intel ( 125Kb ). Last updated 25.09.2000. ( Unpack with unzip ) It is recommended to recompile the Refal-5 sources under your Linux system.

• ^new Version ПѮ source files ^only for Linux (Intel x86_64) ( 3502Kb ) Last updated 20.12.2023. ( Unpack with unzip (LINUX) )

• Version PZ source files for Windows 95/98/NT/2000/XP and Linux (Intel), FreeBSD (Intel) ( 406Kb ) Last updated 22.12.2008. ( Unpack with pkunzip -d (Windows NT/2000/XP), unzip (LINUX, FreeBSD) )

• Refal-5 under other operating systems.

• An old release of Refal5.

• Binary rsl-modules and documentation of the optimizing Refal-5 compiler CREFAL for Windows NT/2000/XP and Linux (Intel), FreeBSD (Intel) ( 38Kb ). Last updated 16.02.2018. ( Unpack with pkunzip -d (Windows NT/2000/XP), unzip (LINUX, FreeBSD) )

• ^new Binary rsl-module and documentation of a Refal-5 self-parser PREFAL for Windows NT/2000/XP and Linux (Intel), FreeBSD (Intel) ( 13Kb ). Last updated 16.02.2018. ( Unpack with pkunzip -d (Windows NT/2000/XP), unzip (LINUX, FreeBSD) )

• A supercompiler ( SCP4 ) to transform Refal5 programs: source files for Refal-5 and documentation + a compiler from the Scp4's output to C-language and documentation. ( 585Kb ). Last updated 02.09.2000. ( Unpack with pkunzip -d (Windows 98/NT/2000/XP), unzip (LINUX, FreeBSD) )

• An old release of the SCP4 ( 356Kb ).

• Online demonstration of the Scp4.

• Online documentation on the Scp4. Last updated 12.02.2000.

• ^new Experiments on verification via supercompilation. Last updated 04.02.2009.

• Related literature and references.