Hi,is there an academic description of the design of Poly/ML, regarding compilation strategies, intermediate languages etc?
Cheers - Gergely _______________________________________________ polyml mailing list polyml@inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml