Arvutiteaduse instituut
  1. Kursused
  2. 2018/19 sügis
  3. Programmeerimiskeelte uurimisseminar (MTAT.03.271)
EN
Logi sisse

Programmeerimiskeelte uurimisseminar 2018/19 sügis

  • Main
  • Topics
  • Schedule
  • Previous
  • Next

Seminar Topics

  1. Simple types (H. Nestra).
    • Pierce, Chap. 9, 12.
  2. Simple extensions (H. Nestra).
    • Pierce, Chap. 8, 11.
    • Subsumes Topic 1.
  3. More extensions.
    • Pierce, Chap. 13, 14.
    • Subsumes Topic 2.
  4. Subtyping.
    • Pierce, Chap. 15.
    • Subsumes Topic 2.
  5. Recursive types.
    • Pierce, Chap. 20, 21.
    • Subsumes Topic 1.
  6. Type reconstruction.
    • Pierce, Chap. 22.
    • Subsumes Topic 2.
  7. Universal types.
    • Pierce, Chap. 23.
    • Subsumes Topic 1.
  8. Higher-Order systems.
    • Pierce, Chap. 29, 30.
    • Subsumes Topic 7.
  • Arvutiteaduse instituut
  • Loodus- ja täppisteaduste valdkond
  • Tartu Ülikool
Tehniliste probleemide või küsimuste korral kirjuta:

Kursuse sisu ja korralduslike küsimustega pöörduge kursuse korraldajate poole.
Õppematerjalide varalised autoriõigused kuuluvad Tartu Ülikoolile. Õppematerjalide kasutamine on lubatud autoriõiguse seaduses ettenähtud teose vaba kasutamise eesmärkidel ja tingimustel. Õppematerjalide kasutamisel on kasutaja kohustatud viitama õppematerjalide autorile.
Õppematerjalide kasutamine muudel eesmärkidel on lubatud ainult Tartu Ülikooli eelneval kirjalikul nõusolekul.
Tartu Ülikooli arvutiteaduse instituudi kursuste läbiviimist toetavad järgmised programmid:
euroopa sotsiaalfondi logo