Elf

Appeared in Volume 6/2, May 1993

Version 0.3 of Elf is now available. The most significant changes from Version 0.2 are interface improvements and optimizations in the interpreter. Unfortunately, this release does not contain the module system or refinements types, whose implementation is still in progress, but enough minor improvements have accumulated over the past year to warrant this consolidating release.

Elf is a LP language based on the LF Logical Framework. This implementation is a prototype interpreter and the execution is slow compared to Prolog. However, type-checking is quite efficient and there are a number of optimizations which makes it practical for small and medium-sized examples.

Elf Version 0.3 can be retrieved via anonymous ftp from: alonzo.tip.cs.cmu.edu (128.2.209.194) in the directory: /afs/cs/user/fp/public.

There is a mailing list with announcements about Elf. To join the list please send mail to: elf-request@cs.cmu.edu

For further information contact:

Frank Pfenning
School of Computer Science
Carnegie Mellon Univ.
Pittsburgh, PA 15213-3891, USA
Email: fp@cs.cmu.edu
Tel: +1 412 268 6343
Fax: +1 412 681 5739