Lazy Least Fixed Points in ML

by François Pottier