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