Nie jesteś zalogowany |
Powrót do listy grantów
Teoria typów w programowaniu funkcyjnym i obiektowym.
- Kierownik
- prof. dr hab. Paweł Urzyczyn
- Numer umowy
- 7 T11C 028 20
- Data rozpoczęcia
- 7 lutego 2001
- Data zakończenia
- 31 grudnia 2002
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- dr hab. Paweł Urzyczyn, prof. dr hab. Jerzy Tiuryn, dr Marcin Benke, mgr Jacek Chrząszcz, mgr Daria Walukiewicz-Chrząszcz, mgr Grzegorz Grudziński, mgr Robert Maron, dr Aleksy Schubert
- Słowa kluczowe
- teoria typów; rachunek lambda; programowanie funkcyjne i obiektowe; polimorfizm; wielodostępność danych; przepisywanie termów; unifikacja i dopasowanie
