Standard ML compiler and interactive environment
Standard ML implementation
poly
polyc
$ poly
$ polyc -o program program.sml
$ poly < script.sml