Inferred type instantiation without prototypes for GJ. lampwww.epfl.ch/ ∼ odersky/ftp/local-ti.ps (2002)

by M Odersky