Detail projektu

Objektově orientované funkcionální jazyky vyššího řádu s přetěžováním symbolů

Období řešení: 1. 1. 1997 – 31. 12. 1997

Typ projektu: grant

Název anglicky
High-degree object-oriented functional languages with symbol overloading
Typ
grant
Klíčová slova

Objektová orientace - Funkcionální jazyk - Přetěžování symbolů

Abstrakt

Projekt se zabývá návrhem a implementací analýzy a inference typů pro malý
funkcionální objektově-orientovaný jazyk. Hlavním problémem je definovat
sémantiku přetěžování v kontextu tříd s dědičností.

Řešitelé
Kolář Dušan, doc. Dr. Ing. (UIFS) – hlavní řešitel
Nahoru