Projects details
Rew - Rewriting and Algebraic Data Types
Mar 2000 - Mar 2003
Devise novel techniques to prove termination of
higher-order programs with algebraic data types.
Devise novel techniques to prove termination of
higher-order programs with algebraic data types.
Project type: CB
Project reference:
Coordinated by:
CITI - FCT/UNL -
Centro de Informática e Tecnologias de Informação, FCT/UNL
Funding entities:
ICCTI
Total Funding Amount: 2
Local Funding Amount: 1
Start Date: 1 Mar 2000
End Date: 1 Mar 2003
Participations
Luis Caires [Coordinator]
Partnerships
CNRS
Université Paris VII
Url:
Departamento de Informática, FCT/UNL
Quinta da Torre P-2829-516
CAPARICA, Portugal
nova-lincs.secretariado(AT)fct.unl.pt
direct +351 212948536
central +351 212948300
central +351 212948500