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