Re: call for documentation on MLton-enabled research and projects
Sivaramakrishnan KC <[email protected]>
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
Hi Matthew, Many of these might already be familiar to you. But here are the ones I am aware of: * As an extension of MultiMLton work, I've been developing a distributed MLton implementation. The repo is at https://github.com/kayceesrk/mlton-zmq. Draft papers are available at: http://www.cs.purdue.edu/homes/chandras/kcs_academic_page/Research.html * He Zhu and Suresh Jagannathan have implemented a lightweight dependent type inference engine for SML in MLton. http://link.springer.com/chapter/10.1007%2F978-3-642-35873-9_19. The implementation is available at http://code.google.com/p/popeye-type-checker/. * Gowtham Kaki and Suresh Jagannathan are working on a relational framework for higher order shape analysis in MLton. https://github.com/gowthamk/catalyst * Yan Chen, Joshua Dunfield, Umut Acar, "Type-Directed Automatic Incrementalization", PLDI 2012. * Hai Liu, Neal Glew, Leaf Petersen, Todd A. Anderson, "The Intel Labs Haskell Research Compiler", Haskell Symposium 2013 Hai Liu and Dominic Orchard mentioned that the HRC was written in Standard ML and compiled with MLton. But the paper does not explicitly mention this fact. Other related papers: + Leaf Petersen, Dominic Orchard, Neal Glew, "Automatic SIMD Vectorization for Haskell", ICFP 2013 + Neal Glew, Tim Sweeney and Leaf Petersen, "A Multivalued Language with a Dependent Type System", DTP 2013 + Leaf Petersen, Todd Anderson, Hai Liu and Neal Glew, "Measuring the Haskell Gap", IFL 2013 Thanks KC ------------------------------------------------------------------------------ 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