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].

Last updated: 1995-02-21

Nearby terms:

macdinkMACEMachMachiavellimachinablemachinemachine code

Try this search on Wikipedia, Wiktionary, Google, OneLook.