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
The PolyBar project aims to enhance programming safety by translating theoretical concepts from a polymorphic programming language to a non-polymorphic one. This will allow programmers to leverage advanced features while ensuring correctness in critical applications.
Parametric polymorphism is an ubiquitous paradigm in programming.
It permits writing generic algorithms that can be usedon several datatypes, thus reducing the duplication of code and producing safer software.
System F is a very simplepolymorphic programming language suited to the theoretical study of polymorphism.
From the point of view of mathematicallogic, System F corresponds to the theory of second-order Peano arithmetic (PA2), which in turn is a sub-theory of first-orderPeano arithmetic wi…
UNIVERSITE PARIS CITE
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 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
