Machiavelli - Peter Buneman & Atsushi Ohori, U Pennsylvania, 1989. An
extension of Standard ML based on orthogonal persistence. "Database
Programming in Machiavelli: A Polymorphic Language with Static Type
Inference", A. Ohori, Proc SIGMOD Conf, ACM, June 1989.
Comments, Experience, Additions
Next Language: MACL