An introduction to REFAL

Thursday 13 March 2014, 6.00pm - 8.00pm

The Davidson Building, 5 Southampton Street, London WC2E 7HA. The nearest underground stations are Covent Garden and Charing Cross.

Alexei Lisitsa


A high-level introductory talk on REFAL (Recursive Functional Algorithmic Language) proposed by V.F.Turchin in 1960s as an universal programming (meta)language.

In the talk I will outline the history of the Refal, includings its role in the development of supercompilation and metasystem transition concepts also proposed by Turchin.

The features of the language with examples of code, examples of developed applications and examples of non-trivial transformations of Refal code by supercompilation.

About the Speaker:

Alexei Lisitsa after the graduation from Moscow State University in Mathematics had been working in Program Systems Research Institute of Russian Academy of Science.

In 1999-2000 he had been a postdoc in the Computer Laboratory of Cambridge University. Currently he is a lecturer in Computer Science in the University of Liverpool. His scientific interests include Logic in Computer Science, Automated Reasoning, Formal Methods, Verification and Security.

Alexei has used logic and functional programming (notably in Prolog and Refal) in a variety of educational and research projects.


Free. To gain admission please email your name to our Membership Secretary, Algirdas Pakstas, at in advance of the meeting, including the title of the event and your name in the subject line of your email. Attendance lists will normally be finalised on the Monday preceding each meeting but late admission may be accepted by signing in to the Davison Building as a visitor.


View the slides of this event (PDF)

YouTube video of the event