ML - почему Meta Language?

Если сумеешь понять, то здесь есть объяснгение: http://homepages.inf.ed.ac.uk/dts/fps/papers/evolved.dvi.gz

Может быть потому что одним из создателей языка является некий Роберт Милнер?

Milner Language

Потому что прообраз этого языка использовался как мета-язык в одной системе генерации доказательств теорем или типа-того (LCF theorem prover)

ведь это имя больше подходит лиспу. почему автора так назвали язык? в каком смысле мета?

More better than Lisp

Потому что Lisp - язык обработки списков

You meant *much better, didn't you?