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.
  • CB
  • CITI - FCT/UNL - Centro de Informática e Tecnologias de Informação, FCT/UNL
  • ICCTI
  • 2
  • 1
  • 1 Mar 2000
  • 1 Mar 2003
  • Luis Caires [Coordinator]
  • CNRS
  • Université Paris VII