Fixing non-determinism A Vandenbroucke, T Schrijvers, F Piessens Proceedings of the 27th Symposium on the Implementation and Application of …, 2015 | 18 | 2015 |
Tabling as a library with delimited control B Desouter, M Van Dooren, T Schrijvers Theory and Practice of Logic Programming 15 (4-5), 419-433, 2015 | 15 | 2015 |
Tabling with sound answer subsumption A Vandenbroucke, M Piróg, B Desouter, T Schrijvers Theory and Practice of Logic Programming 16 (5-6), 933-949, 2016 | 9 | 2016 |
Forward-or reverse-mode automatic differentiation: What's the difference? B van den Berg, T Schrijvers, J McKinna, A Vandenbroucke Science of Computer Programming 231, 103010, 2024 | 7 | 2024 |
Pλωnk: functional probabilistic netkat A Vandenbroucke, T Schrijvers Proceedings of the ACM on Programming Languages 4 (POPL), 1-27, 2019 | 7* | 2019 |
Disjunctive delimited control A Vandenbroucke, T Schrijvers International Symposium on Logic-Based Program Synthesis and Transformation …, 2021 | 2 | 2021 |
From PRISM to ProbLog and back again A Vandenbroucke, T Schrijvers Proceedings of the Workshop on Probabilistic Logic Programming 2017 1916 (4 …, 2017 | 1 | 2017 |
The table monad in Haskell A Vandenbroucke, T Schrijvers, F Piessens IFL 2015, 157-198, 2015 | 1 | 2015 |
Declarative Pearl: Rigged Contracts A Vandenbroucke, T Schrijvers International Symposium on Functional and Logic Programming, 99-114, 2024 | | 2024 |
Disjunctive Delimited Control A Vandenbroucke, T Schrijvers Theory and Practice of Logic Programming 24 (1), 110-131, 2024 | | 2024 |
Advanced Semantics for Non-deterministic and Probabilistic Programming A Vandenbroucke | | 2020 |
Towards Lambda Abstractions for Probabilistic NetKAT Alexander Vandenbroucke (KU Leuven)*, Tom Schrijvers (KU Leuven) A Vandenbroucke, T Schrijvers PROBPROG 2018, Date: 2018/10/05-2018/10/07, Location: MIT, Boston, MA …, 2018 | | 2018 |
ProbLog and applicative probabilistic programming A Vandenbroucke, T Schrijvers Workshop on Probabilistic Programming Semantics (PPS), Date: 2017/01/17-2017 …, 2017 | | 2017 |
Tabling as a library with delimited control B Desouter, M Van Dooren, T Schrijvers, A Vandenbroucke Proceedings of the 25th International joint conference on Artificial …, 2016 | | 2016 |
The functional perspective on advanced logic programming A Vandenbroucke Technical Communications of the 32nd International Conference on Logic …, 2016 | | 2016 |
Complexity of Algorithms: Geometric Complexity Theory A Vandenbroucke | | 2014 |
De Tabulatie Monad in Haskell A Vandenbroucke | | |