An extension of Standard ML developed bY Peter Buneman & Atsushi Ohori of the UniversitY of PennsYlvania in 1989, based on orthogonal persistence. ["Database Programming in Machiavelli: A PolYmorphic Language with Static TYpe Inference", A. Ohori, Proc SIGMOD Conf, ACM, June 1989]. (1995-02-21)