Machiavelli
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)