Matija Pretnar

Research

I study formalization, implementation and semantics of programming languages. Together with Gordon Plotkin (who was my PhD supervisor), we discovered handlers of algebraic effects. Together with Andrej Bauer, we are implementing them in Eff, which is a functional programming language that treats effects the way they should be treated.

For those interested, here is a list of my talks and publications.

Poučevanje

Zaposlen sem kot asistent, vodim pa vaje iz večinoma računalniških predmetov (moj urnik). Za lastne potrebe pri poučevanju sem razvil:

spletno aplikacijo za učenje programiranja
L^aT_eXovski paket za sestavljanje izpitnih pol in
program v Mathematici za sestavljanje nalog v večjih količinah.

Publications

Handling Algebraic Effects: This paper has now been submitted to LMCS. It is bound to change, but is still the best introduction to handlers of algebraic effects.
Handlers of Algebraic Effects: This is the paper that introduced handlers. However, please read Handling Algebraic Effects instead, as it has been significantly cleaned up.
A Logic for Algebraic Effects
The Logic and Handling of Algebraic Effects: My PhD thesis
Sintetična topologija: My BSc thesis

Sestavljanje izpitnih pol

Da bi olajšal sestavljanje izpitnih pol, sem pripravil LaTeXovski paket, ki veliko večino dela postori sam. Vse, kar morate podati, so podatki o izpitu (ime, datum, navodila in učilnico) ter naloge. Paket nato avtomatsko oblikuje glavo izpita, sedežni red, polja za ime, vpisno številko in točke ter podobno. Poleg tega vam omogoča, da za vsak izpit pripravite tako verzijo za reševanje na polo kot verzijo za objavo v arhivu.

vzorec.pdf: PDF z vzorčnim izpitom
vzorec-arhiv.pdf: PDF z istim izpitom, le pripravljenim za objavo v arhivu
izpit.zip: Datoteka s paketom ter vzorčnim izpitom

Zgodovina

23. december 2010: Malenkost krajša črta za ime in priimek.
22. december 2010: Ukaz \dodatnanaloga preimenoval v \naloga*. Zastareli ukazi ob uporabi opozorijo na novejše različice.
1. december 2010: Sedežne rede naredil malo manjše.
30. november 2010: Dodal sedežni red za učilnici MFP in VFP.
24. november 2010: Dodal sedežni red za učilnico F1.
21. november 2010: Povečal velikost polj za vpisno številko, sedež in točke. Dodal sedežni red za učilnice 3.10, 3.11 in 3.12.
12. november 2010: Uredil izpis besedila med glavo in začetkom 1. naloge.
3. november 2010: Popravil sedežni red za učilnici 2.03 in 2.04. Dodal sedežni red za učilnici 3.06 in 3.07.
6. oktober 2010: Začetna različica.

Generiranje nalog

Spodnji program za dani seznam študentov omogoča generiranje naključnih nalog ter njihovih rešitev. Program sprejme:

seznam nalog (vsaka je opisana s programom v Mathematici),
vzorčno datoteko (ponavadi v LaTeXu) in
seznam študentov,

nato pa sestavi naloge ter ustvari posamezne datoteke z nalogami in skupno datoteko z rešitvami. Naloge niso čisto naključne, saj vam program za istega študenta vedno vrne enako nalogo. To vam omogoča, da naloge naknadno popravljate, ne da bi se vam pri tem v celoti spremenile.

sestavljanje.zip: Datoteka s programom ter vzorcem

Zgodovina

1. december 2011: Popravil lomljenje predolgih vrstic.
8. junij 2011: Začetna različica.