Re: call for documentation on MLton-enabled research and projects

Thanks to everyone who replied with universities, companies, research,
and projects making use of MLton!  I'm especially encouraged by the
number of people who indicated that they use MLton on a regular basis,
and yet from whom I have never (or only very rarely) received bug
reports!!  When I was in Boston for some workshops preceding ICFP, I
half-jokingly suggested that there should be a "Non-Issues" tracker on
GitHub where you could log in every few months and note the absence of
bugs in a software project. ;-)

Thanks again!!
-Matthew

On Mon, Oct 7, 2013 at 11:51 AM, Matthew Fluet <[email protected]> wrote:
> 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=60134071&iu=/4140/ostg.clktrk