Preskoči na glavno vsebino
To je arhiv spletne učilnice za leto 2021/22.
Aktualna spletna učilnica je na naslovu
https://ucilnica.fmf.uni-lj.si
Učilnica 21/22
Slovenščina (sl)
English (en)
Slovenščina (sl)
Trenutno uporabljate gostujoči dostop (
Prijavite se
)
Teorija programskih jezikov
Domov
Predmeti
IŠRM
Magistrski študij
TPJ
Prestrezniki učinkov
Eff Programming Language
Eff Programming Language
Domača stran prototipnega programskega jezika Eff
Kliknite na povezavo
http://www.eff-lang.org/try/
, če želite odpreti vir.
◄ What is algebraic about algebraic effects and handlers?
Skoči na ...
Skoči na ...
Forum novic
Načrt dela
Zoom povezava
Posnetki predavanj (OneDrive)
Posnetki vaj
Zapiski
Gradiva s predavanj in vaj (GitHub)
Discord strežnik za vprašanja in pogovore
Types and Programming Languages
ICFP Student Volunteers
Pravila ocenjevanja
1. domača naloga
2. domača naloga
3. domača naloga
The language of languages
The Programming Languages Zoo
Understanding Parser Combinators
Programming Language Foundations in Agda
Formal Languages and Automata
Church encoding
What is algebraic about algebraic effects and handlers?
An Introduction to Algebraic Effects and Handlers
Programming with Algebraic Effects and Handlers
Logika učinkov
Inside Java
Signals & Threads
An Introduction to Algebraic Effects and Handlers ►