System Description: Teyjus - A Compiler and Abstract Machine Based Implementation of lambda-Prolog.

Gopalan Nadathur, Dustin J. Mitchell

Browse the full CADE paper archive.