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

PL Seminar: Type Theory

  • ÕIS data: MTAT.03.271, 3 ECTS
  • Time: Mondays, 12:15. (Starting September 10)
  • Place: J. Liivi 2-512.
  • Teacher: Härmel Nestra

The programming language research seminars are a series of independent courses/seminars that focus on different topics in programming languages. While the study information system presents this as a 12 ECTS course with 4 parts, the parts are not dependent on each other.

This seminar will provide an introduction to Type Theory. The lecturer will cover the core topics, based on the textbook Types and Programming Languages, leaving some of the advanced topics for student presentations. The course is mainly intended for graduate students, but highly motivated undergraduate students can also do well. Familiarity with functional programming is useful but not essential.

  • 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