WordNet (r) 3.0 (2006):

Machiavelli
    n 1: a statesman of Florence who advocated a strong central
         government (1469-1527) [syn: Machiavelli, Niccolo
         Machiavelli]

The Free On-line Dictionary of Computing (30 December 2018):

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)