Davide Ancona's papers

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