Alexander Vandenbroucke

14 papers A* 1C 1Misc 1Journal 8Unranked 3
YearRankTypeTitle / Venue / Authors
2024 Misc conf
Declarative Pearl: Rigged Contracts.
FLOPS
Alexander Vandenbroucke, Tom Schrijvers
2024 J jnl
Disjunctive Delimited Control.
Theory Pract. Log. Program.
Alexander Vandenbroucke, Tom Schrijvers
2024 J jnl
Forward- or reverse-mode automatic differentiation: What's the difference?
Sci. Comput. Program.
Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
2022 J jnl
Forward- or Reverse-Mode Automatic Differentiation: What's the Difference?
CoRR
Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke
2021 C conf
Disjunctive Delimited Control.
LOPSTR
Alexander Vandenbroucke, Tom Schrijvers
2021 J jnl
Disjunctive Delimited Control.
CoRR
Alexander Vandenbroucke, Tom Schrijvers
2020 J jnl
Disjunctive Delimited Control.
CoRR
Alexander Vandenbroucke, Tom Schrijvers
2020 J jnl
PλωNK: functional probabilistic NetKAT.
Proc. ACM Program. Lang.
Alexander Vandenbroucke, Tom Schrijvers
2017 — conf
From PRISM to ProbLog and Back Again.
PLP@ILP
Alexander Vandenbroucke, Tom Schrijvers
2016 A* conf
Tabling as a Library with Delimited Control.
IJCAI
Benoit Desouter, Marko van Dooren, Tom Schrijvers, Alexander Vandenbroucke
2016 J jnl
Tabling with Sound Answer Subsumption.
CoRR
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
2016 J jnl
Tabling with Sound Answer Subsumption.
Theory Pract. Log. Program.
Alexander Vandenbroucke, Maciej Piróg, Benoit Desouter, Tom Schrijvers
2016 — conf
The Functional Perspective on Advanced Logic Programming.
ICLP (Technical Communications)
Alexander Vandenbroucke
2015 — conf
Fixing non-determinism.
IFL
Alexander Vandenbroucke, Tom Schrijvers, Frank Piessens