Hello, Unfortunately, as some people suspected, the PolyML application was deemed to be out of scope and so it was not taken forward for funding. However, I did get positive feedback and we were recommended to resubmit the application to another funding stream.
So I am now thinking about adapting the previous proposal, adding a bit more of a research angle. I had a few discussions already, e.g. adapting the idea of equality type to a more general notion of type classes (from Larry, I think). Do email me your ML-grumbles and thoughts: I'll be bouncing various ideas around at the ML-workshop in the forthcoming ICFP conference. The old (so far unfunded) application can be found here: http://dream.inf.ed.ac.uk/projects/polyml/appl.pdf best, lucas Lucas Dixon wrote: > Hi, > > Quickly following the second draft, I've done a good deal more polishing > up of the proposal, and this is probably close to the final version. > > Thanks very much for all the feedback! > > Many thanks, > lucas _______________________________________________ polyml mailing list [email protected] http://lists.inf.ed.ac.uk/mailman/listinfo/polyml -- The University of Edinburgh is a charitable body, registered in Scotland, with registration number SC005336.
