The COMPLICE project (Implicit Computational Complexity, Concurrency and Extraction) is funded by ANR (programme Blanc 2008) (ref. : ANR-08-BLAN-0211-01 ) . It started on 1/1/2009 and is running for 4 years, until december 2012.
It has 3 partner sites :
It aims at developing implicit computational complexity and in particular its applications to functional programming, program extraction from proofs and concurrent systems. It is organized in 3 main parts :
Part I. Semantic and logic foundations.
Part II. Applications to the functional setting : typing, program extraction
Part III. New directions : concurrent systems, parallel complexity classes.
Several participants of the project have been involved in the former ANR NOCoST project.