type safety

• Fun with Generics
  by Bernd Schoeller (modified: 2008 Jun 17)

  Tags:
  • tutorial
  • Article
  • type safety
  • Intermediate
  • generic
  • types
• catcall -- a solution
  by Helmut Brandl (modified: 2010 Jul 15)

  Tags:
  • eiffel
  • catcall
  • type safety
• Vision for a modern Eiffel
  by Helmut Brandl (modified: 2010 Oct 05)

  Tags:
  • eiffel
  • language design
  • type safety
  • static verification
• Type safe Eiffel
  by Helmut Brandl (modified: 2010 Oct 25)

  Tags:
  • eiffel
  • catcall
  • type safety
• Type safe Eiffel (1)
  by Helmut Brandl (modified: 2011 Jul 04)

  Tags:
  • catcall
  • type safety
• Type safe Eiffel (2, chapter "Feature rich ANY" included)
  by Helmut Brandl (modified: 2011 Jul 06)

  Tags:
  • catcall
  • type safety
• Type safe Eiffel (3, chapter "Covariance" included)
  by Helmut Brandl (modified: 2011 Jul 12)

  Tags:
  • catcall
  • type safety
• Why Type-safety?
  by Bernd Schoeller (modified: 2011 Jul 19)

  Tags:
  • language design
  • type safety
  • Software correctness
  • software engineering
  • type system
• Type safe Eiffel (4, chapters "Backward compatibility" and "Promiscuous generic conformance" included)
  by Helmut Brandl (modified: 2011 Jul 19)

  Tags:
  • catcall
  • type safety
• Type safe Eiffel (4, chapters "Generic constraints based on conformance" and "Validation with local analysis" included)
  by Helmut Brandl (modified: 2012 May 09)

  Tags:
  • catcall
  • type safety