1 - 2 / 2 1 |
1. The NCD programming language Ambrož Bizjak, 2013, diplomsko delo Ključne besede: programming language, bactracking, roll-back, event-driven, asynchronous, network configuration, computer science, computer and information science, computer science and mathematics, diploma |
2. Behavioural equivalence via modalities for algebraic effects Alex Simpson, Niels Voorneveld, 2018, objavljeni znanstveni prispevek na konferenci Ključne besede: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability |