First Page | Document Content | |
---|---|---|
Date: 2006-12-31 07:06:18Software engineering Computing Computer programming Data types Type theory Functional languages Functional programming Type systems Type inference Const Polymorphism Anonymous function | Database Programming in Machiavelli – a Polymorphic Language with Static Type Inference∗ Atsushi Ohori Peter BunemanAdd to Reading ListSource URL: homepages.inf.ed.ac.ukDownload Document from Source WebsiteFile Size: 183,54 KBShare Document on Facebook |