biographical name Niccolò 1469-1527 Italian politician philosopher
An extension of Standard ML developed by Peter Buneman & Atsushi Ohori of the University of Pennsylvania in 1989, based on orthogonal persistence.