Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/sigmod/OhoriBT89, crossref={DBLP:conf/sigmod/89}, title={Database Programming in Machiavelli - a Polymorphic Language with Static Type Inference}, pages={46-57}, year={1989}, booktitle={SIGMOD Conference}, url={http://www.informatik.uni-trier.de/~ley/db/conf/sigmod/sigmod89.html#OhoriBT89}, ee={http://doi.acm.org/10.1145/67544.66931}, ee={db/conf/sigmod/OhoriBT89.html}, cdrom={SIGMOD89/P046.PDF}, author={Atsushi Ohori and Peter Buneman and Val Tannen} }\end{bibtex}
