Machiavelli

Peter Buneman & Atsushi Ohori, University of Pennsylvania, 1989

An extension of Standard ML based on orthogonal persistence.

"Database Programming in Machiavelli: A Polymorphic Language with Static Type Inference", A. Ohori, Proceedings of the SIGMOD Conference, ACM, June 1989.