Cláudia Tavares

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

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2014

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

[BibT_eX]

[DOI]

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).

[BibT_eX]

[DOI]

PhD thesis, 2012

2009

A Type System for Tom

[BibT_eX]

[DOI]

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