Web Page: http://mlton.org/GoogleSummerOfCode2013
Mailing List: http://mlton.org/Contact
MLton is an open-source, whole-program, optimizing compiler for Standard ML.
- MLRTEMS: Embedded Standard ML Standard-ML is a well defined functional programming language with several mature implementations that emit C as their target language. This makes it well suited to porting to embedded systems.
- SIMD Support for MLton The project goal to investigate and design a core set of SIMD primitives for the MLton compiler. The project would consist of three parts: first would be a document outlining a core set of SIMD primitives for MLton using the implementation of SIMD operations in other compilers (e.g gcc and clang) as a reference. Second would be to implement these primitives using x86-64(AMD 64) instructions, specifically sse instructions. Last would be to develop an sml library to make these primitives available to the programmer.