1 - 2 / 2 1 |
1. The NCD programming language Ambrož Bizjak, 2013, undergraduate thesis Keywords: 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, published scientific conference contribution Keywords: computer science, behavioural equivalence, call-by-value functional language, openness, decomposability |