call for documentation on MLton-enabled research and projects

Luke Ziarek (MultiMLton) and I are preparing a grant proposal seeking
funding for infrastructure enhancements for MLton through the NSF CISE
Research Infrastructure program.  The NSF places a high value on the
"broader impact" of proposals and projects, and one way to make the
case that MLton *will* have a broad impact is to demonstrate that
MLton *has* already had a broad impact.  We are looking to the
community for additional documentation that demonstrates how MLton has
enabled research and projects.

Any and all documentation would be helpful, but in order of decreasing
value to the NSF, here are some specific kinds of documentation that
we are looking for:
 * Pointers to citable papers that describe research that was done in
the context of MLton (i.e., research that required hacking the
compiler).
 * Pointers to citable papers that describe research that was enabled
by MLton.  This is research that required you to write some software,
you chose to write SML and compile with MLton, and there is one brief
mention in the paper that "we used MLton".  These are the ones that
are hardest for us to find, because they often don't use a citation
reference.
 * Pointers to other written work that describes research or projects
that were done in the context of MLton or were enabled by MLton.  This
might be course projects with a written report or BS/MS theses that
were never turned into a peer-reviewed paper.
 * Pointers to other non-written work that uses MLton.  This might be
(non-trivial) projects that are implemented in SML and compiled with
MLton.  Links to GitHub or BitBucket (or other) repositories with a
README that mentions MLton are great, but at the very least we should
be able to easily find the Makefile with the "mlton prog.mlb"
invocation.

Feel free to reply to the list if you want to advertise your work.  Or
just reply to me if you don't.  And feel free to mention work that you
know of, but aren't the author of.  Even brief Google and ACM Digitial
Library searches have turned up projects mentioning MLton done by
individuals that I'm fairly certain are not subscribed to the MLton
users list.

Thanks!
-Matthew

To unsubscribe from this group and stop receiving emails from it, send an email to [email protected].

------------------------------------------------------------------------------
October Webinars: Code for Performance
Free Intel webinars can help you accelerate application performance.
Explore tips for MPI, OpenMP, advanced profiling, and more. Get the most from 
the latest Intel processors and coprocessors. See abstracts and register >
http://pubads.g.doubleclick.net/gampad/clk?id=60134791&iu=/4140/ostg.clktrk