A Foreign Language Interface from ML to Shell. - Ueno, Katsuhiro; Ohori, Atsushi (New Generation Computing, 2016)