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
122015
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
Proceedings of the ACM on Programming Languages 4 (POPL), 2020
5*2020
The table monad in Haskell
A Vandenbroucke, T Schrijvers, F Piessens
IFL 2015, 157-198, 2015
12015
Disjunctive Delimited Control
A Vandenbroucke, T Schrijvers
arXiv preprint arXiv:2009.04909, 2020
2020
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
From PRISM to ProbLog and back again
A Vandenbroucke, T Schrijvers
Proceedings of the Workshop on Probabilistic Logic Programming 2017 1916 (4 …, 2017
2017
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–13