Blog entries (Page 21 of 50)

• 2011 Aug 03 by Helmut BrandlType safe Eiffel (4, chapters "Generic constraints based on conformance" and "Validation with local analysis" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 19 by Helmut BrandlType safe Eiffel (4, chapters "Backward compatibility" and "Promiscuous generic conformance" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 19 by Bernd SchoellerWhy Type-safety?
  Tags:
  • language design
  • type safety
  • Software correctness
  • software engineering
  • type system
• 2011 Jul 12 by Helmut BrandlType safe Eiffel (3, chapter "Covariance" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 06 by Helmut BrandlType safe Eiffel (2, chapter "Feature rich ANY" included)
  Tags:
  • catcall
  • type safety
• 2011 Jul 04 by Helmut BrandlType safe Eiffel (1)
  Tags:
  • catcall
  • type safety
• 2011 May 09 by Tao FengQuick benchmark on loops
• 2011 May 02 by David Le BansaisPrivate features
  Tags:
  • scoop
  • inheritance
  • eiffel
  • private