En process där kompilatorn härleder typ av en lokal variabel som deklareras med nyckelordet i C# eller utan en As-sats i Visual Basic. Kompilatorn härleder typ av variabeln från initieraren uttryckstypen.