Eiffel
  • welcome
  • documentation
  • resources
  • contribute
  • blogs
  • download
  • Sign in

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
Other Tags ...
  • Welcome
    • Purpose
    • News
    • Updates
    • Forum
    • Community
    • Contact
    • Sign in
  • Documentation
    • Eiffel
    • EiffelStudio
    • Solutions
    • Glossary
    • FAQs
    • Contribute
  • Resources
    • Libraries
    • Tools
    • Wish list
    • Videos
    • Follow us
  • Download Now Try Eiffel Online Contribute Sign in
    • Facebook
    • You Tube
    • Twitter
Built with the Eiffel ROC CMS and the EiffelWeb framework.