Pok-12-wyk-Slajd2

Z Studia Informatyczne
Wersja z dnia 19:13, 30 sie 2006 autorstwa Complak (dyskusja | edycje)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacjiPrzejdź do wyszukiwania

Plan wykładu

Plan wykładu


W ramach wykładu omówione zostaną następujące zagadnienia:

  • czym są zależności kontekstowe
  • statyczne i dynamiczne sprawdzanie zależności kontekstowych
  • co to jest system typów
  • zarys implementacji przykładowego kontrolera typów
  • rodzaje równoważności typów


<< Poprzedni slajd | Spis treści | Następny slajd >>

Źródło: „https://wazniak.mimuw.edu.pl/index.php?title=Pok-12-wyk-Slajd2&oldid=36514”