MLRTEMS: Embedded Standard ML

by Nate Burgers for MLton.org

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.