Polymorphically-typed lazy purely-functional programming

www.computer-programming.info