Thieny Coquard

• Di-domains as a model of polymorphism