Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

PolyBar

Financiado

Cerrado

A new approach to polymorphism through bar recursion

Parametric polymorphism is an ubiquitous paradigm in programming. It permits writing generic algorithms that can be used on several datatypes, thus reducing the duplication of code and producing safer software. System F is a very... ver más

31/05/2020

UPCité

185K€

Presupuesto del proyecto: 185K€

Líder del proyecto

UNIVERSITE PARIS CITE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo H2020 notifico la concesión del proyecto el día 2020-05-31

MSCA-IF-2017: Individual Fellowships

I+D

Cerrada hace 7 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

UPCité

185.08K€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

MTM2010-16051 FUNDAMENTOS DE MATEMATICAS COMPUTACIONALES: ADAPTABILIDAD, C... 59K€ Cerrado

10000 DIGITS Foundations of transcendental methods in computational nonli... 1M€ Cerrado

MTM2017-88796-P COMPUTACION SIMBOLICA: NUEVOS RETOS EN ALGEBRA Y GEOMETRIA Y... 74K€ Cerrado

REGALIA RELatinG quALIties and quantities by resource Approximation Cerrado

A3 Algebraic Algorithms and Applications 100K€ Cerrado

InfTy Infinitary Rewriting for Type Systems 200K€ Cerrado

Duración del proyecto: 25 meses Fecha Inicio: 2018-04-03
Fecha Fin: 2020-05-31

Líder del proyecto

UNIVERSITE PARIS CITE No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 185K€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Parametric polymorphism is an ubiquitous paradigm in programming. It permits writing generic algorithms that can be used on several datatypes, thus reducing the duplication of code and producing safer software. System F is a very simple polymorphic programming language suited to the theoretical study of polymorphism. From the point of view of mathematical logic, System F corresponds to the theory of second-order Peano arithmetic (PA2), which in turn is a sub-theory of first-order Peano arithmetic with the axiom of countable choice (PA-AC). On the other hand, PA-AC can be computationally interpreted using the non-polymorphic programming language System T extended with the bar recursion operator (System TBR). The PolyBar project will turn the logical translation of PA2 to PA-AC into a computational translation from System F to System TBR. This translation will improve the state-of-the-art by extending the use of well-known proof techniques to polymorphic programming languages and promote the use of these languages in environments where safety is important, like medical software or autonomous car systems. Computer programmers will be able to use the sophisticated features of polymorphism and still prove correctness properties on their programs. The PolyBar project will be carried out by the experienced researcher who worked during his PhD thesis on computational interpretations of PA-AC using System TBR, and recently gave the first connections with PA2 and System F. The experienced researcher will collaborate with a supervisor who has a strong background in type theories (including System F) and in correspondences between various mathematical theories and programming languages. Working in France, where System F was discovered and is still a subject of intense research by many experts in the field, the experienced researcher will make the beneficiary benefit from his experience in the UK, which has a strong community on recursion theory and denotational semantics.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores