Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference

by Atsushi Ohori, Val Breazu-Tannen, Peter Buneman · 1988