Pablo Barenbaum

Scopri un nuovo modo per migliorare l'efficienza di valutazione nel calcolo lambda.

Questa ricerca si concentra su un nuovo tipo di sistema che combina strategie di valutazione nei linguaggi di programmazione.