Programming Languages DB

Curry
D
F*
Flix
Hack
Haggis
Handel-C
Haxe
Inform
Mirah
ML
Nemerle
Opa
PureScript
SequenceL
Standard ML
TADS
Visual Prolog
Xtend