DictionaryForumContacts

   English Russian +
Google | Forvo | +

subtyping with strengthening type invariants

stresses
progr. создание подтипов на основе усиления инвариантов типов (Alex_Odeychuk)