Nie jesteś zalogowany |
Powrót do listy grantów
Logika stosowana i programowanie funkcyjne
- Kierownik
- prof. dr hab. Jerzy Tiuryn
- Numer umowy
- 8T11C 035 14
- Data rozpoczęcia
- 1 stycznia 1998
- Data zakończenia
- 31 grudnia 2000
- Finansowany przez
- Komitet Badań Naukowych
- Wykonawcy
- prof. dr hab. Jerzy Tiuryn, dr hab. Paweł Urzyczyn, mgr Marcin Benke, mgr Jacek Chrząszcz, mgr Grzegorz Grudziński, mgr Robert Maron, mgr Aleksy Schubert, mgr Daria Walukiewicz
- Słowa kluczowe
- teoria typów; rachunek lambda; programowanie funkcyjne; koercje; podtypy; polimorfizmy; typy intrsekcyjne i typy z uniami; przepisywanie termów; unifikacja
