Hello, I'm wondering if the language Poly had any relation to the language Poly described in the book* Polymorphic Programming Languages* by David Harland?
Regards,
_______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml