Principale Ricerca Hard Typing