[polyml] PolyML Users

Hello,

I'm trying to find out what projects use, or can be built on PolyML, in order to write a grant application to improve PolyML and provide a continuous level of support for it.

In particular, the grant would aim to provide better editing support (we have started working on this already), improvements to the module system (based on existing work by Andreas Rossberg and others), improvements to garbage collection for multi-threading programs, and perhaps improved compatibility with OCaml and Haskell (maybe based on the HLVM project).

If you feel you would benefit from this, please do let me know. The more users of PolyML, the stronger our case. :)

Many thanks, lucas