CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
REGALIA explores the interaction between qualitative and quantitative type systems in programming languages. The project aims to develop new theoretical frameworks and modular methods to extract quantitative information from programs that are typed qualitatively, enhancing our understanding of resource consumption and…
Qualitative type systems are a widespread technique exploited in the study of programming languages.
Types allow to obtain relevant information on the behaviours of programs, such as termination of the evaluation.
Quantitative type systems are used to achieve additional information on complexity and resource consumption.
While these two families of type systems have been deeply studied, their interaction is still far to be properly understood.
Given a program typed in a qualitative way, can we e…
ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 topics.
Guests see up to 5 keywords.
