Periodic Reporting for period 1 - REGALIA (RELatinG quALIties and quantities by resource Approximation)

Qualitative type systems are a widespread technique exploited in the study of programming languages. From this one can obtain relevant information on the behaviours of programs, such as termination of evaluation. REGALIA aims to deepen our understanding of the relationship...