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

Hi Matthew,

This sounds great.  MLton is very important to our company.  The 
majority of our
code base is SML (almost all except GUI) and all deployed SML-based 
executables
are compiled with MLton.   Unfortunately, we do not publish too much about
how we implement our products.  We did publish one experience report back
in 2007 (http://dl.acm.org/citation.cfm?id=1291172 ).  The report 
includes MLton in
the references.  At that point we were just transitioning to MLton.  If 
a letter
of support would be helpful we're happy to provide one.  Best of luck with
the proposal!

Steve
> Matthew Fluet <mailto:[email protected]>
> Monday, October 07, 2013 11:51 AM
> 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
>
> ------------------------------------------------------------------------------
> 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
> _______________________________________________
> MLton-devel mailing list
> [email protected]; [email protected]
> https://lists.sourceforge.net/lists/listinfo/mlton-devel

-- 
Steve Sims
CEO - Reactive Systems, Inc.
[email protected]
+1 919-324-3507 ext 101
www.reactive-systems.com

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

_______________________________________________
MLton-user mailing list
[email protected]; [email protected]
https://lists.sourceforge.net/lists/listinfo/mlton-user