The WWW home page for polytypic programming. Available from http://www.cs.chalmers.se/~patrikj/poly (2003)

by P Jansson