Follow
Alexander Vandenbroucke
Title
Cited by
Cited by
Year
Fixing non-determinism
A Vandenbroucke, T Schrijvers, F Piessens
Proceedings of the 27th Symposium on the Implementation and Application of …, 2015
182015
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
132015
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
92016
PλωNK: functional probabilistic NetKAT.
A Vandenbroucke, T Schrijvers
Proc. ACM Program. Lang. 4 (POPL), 39:1-39:27, 2020
6*2020
From PRISM to ProbLog and back again
A Vandenbroucke, T Schrijvers
Proceedings of the Workshop on Probabilistic Logic Programming 2017 1916 (4 …, 2017
12017
The table monad in Haskell
A Vandenbroucke, T Schrijvers, F Piessens
IFL 2015, 157-198, 2015
12015
Forward-or Reverse-Mode Automatic Differentiation: What's the Difference?
B Berg, T Schrijvers, J McKinna, A Vandenbroucke
arXiv preprint arXiv:2212.11088, 2022
2022
Forward-or Reverse-Mode Automatic Differentiation: What's the Difference?
B van den Berg, T Schrijvers, J McKinna, A Vandenbroucke
arXiv e-prints, arXiv: 2212.11088, 2022
2022
Disjunctive Delimited Control
A Vandenbroucke, T Schrijvers
Logic-Based Program Synthesis and Transformation: 31st International …, 2022
2022
Advanced Semantics for Non-deterministic and Probabilistic Programming
A Vandenbroucke, T Schrijvers
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
The system can't perform the operation now. Try again later.
Articles 1–16