This page is for fast download of the FLVM, a virtual machine for functional logic computations, and curry2vm, a compiler from Curry to the bytecode of the FLVM.

If you are involved, or you want to become involved, with the development, look at the following page. If you are interested in functional logic programming in general and in the work done at PSU, look at the following page.

This work has been supported in part by the NSF under grants INT-9981317, CCR-0110496, and CCR-0218224.



Last updated: Wed Jan 24 16:23:25 PST 2007