Cláudia Tavares

According to our database, Cláudia Tavares authored at least 3 papers between 2009 and 2014.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2014

Extending SMT-LIB v2 with λ-Terms and Polymorphism.

Richard Bonichon, David Déharbe, Cláudia Tavares

Proceedings of the 12th International Workshop on Satisfiability Modulo Theories, 2014

2012

A type system for embedded rewriting programming. (Un système de types pour la programmation par réécriture embarquée).

Cláudia Tavares

PhD thesis, 2012

2009

A Type System for Tom

Claude Kirchner, Pierre-Etienne Moreau, Cláudia Tavares

Proceedings of the Proceedings Tenth International Workshop on Rule-Based Programming, 2009