How to make Eiffel type-safe

This short article summarizes some ideas of how to improve the type-safety of Eiffel. March 2007

Fun with generics

We all know about generics as a wonderful help to implement container data structures like lists, sets, bags etc. Much later than Eiffel, object-oriented programming languages like Java and C# have understood that generic parameters are a powerful extension to the type system and remove the need for many casts. So, what else can we do with generics beyond containers? June 2007

Making classes provable through contracts, models and frames

This thesis approaches the formal verification of contracted code. It conducts an analysis of Eiffel and how contracts are expressed in the language as it is now and extends the programming language by new concepts to make verification possible. December 2007