1x | | izrek o varnosti, modalni tipi, časovno omejeni viri, lambda račun, teorija enačb, skladnost, algebrajski učinki, kvantno računalništvo, formalizacija, Rust, sistem lastništva, iskanje v širino (BFS), OCaml, funkcijski programski jeziki, grafovski algoritmi, Dijkstrov algoritem, Floyd-Warshallov algoritem, asinhrono programiranje, avtomat končnih stanj, večjedrno računanje, paralelizacija |