Database programming in Machiavellia polymorphic language with static type inference

Machiavelli is a polymorphically typed programming language in the spirit of ML, but supports an extended method of type inferencing that makes its polymorphism more general and appropriate for dat...