Project Details
Objektově orientované funkcionální jazyky vyššího řádu s přetěžováním symbolů
Project Period: 1. 1. 1997 – 31. 12. 1997
Project Type: grant
English title
High-degree object-oriented functional languages with symbol overloading
Type
grant
Keywords
Object oriented - Functional language - Symbol overloading
Abstract
The project deals with design and implementation of analysis and type inference
for a small functional object-oriented language. The main problem solved is to
define semantics of overloading in the context of classes with inheritance.
Team members
Kolář Dušan, doc. Dr. Ing.
(DIFS)
– research leader