Davide Ancona's papers

• All journal papers
• All conference and workshop papers
• All technical reports
• Most recent papers (since 2009)
• Classified by topics
  • Behavioral Types
  • Coinduction
  • Components and modules (composition mechanisms for software reuse, extensibility, evolution and adaptation)
  • Corecursion
  • Dynamic languages
  • Meta-programming
  • Multi-agent systems
  • Object-oriented programming
  • Runtime verification
  • Semantic models (operational, algebraic and categorical semantics)
  • Type systems (compositional compilation, static and dynamic typechecking)

---

Back to previous page

---

Please send suggestions and comments to:

Davide Ancona davide@disi.unige.it

---

Last Updated: April, 2015