 | Home | Phone: +33 1 39 63 52 64 | Last modified: March 21, 2012 |
Fix is a simple OCaml module for computing the least solution of a system of monotone equations. It is described in the paper Lazy Least Fixed Points in ML.
You can study the algorithm's interface and implementation online, or you can download the source code.