Follow
Birthe van den Berg
Birthe van den Berg
PhD Computer Science
Verified email at kuleuven.be - Homepage
Title
Cited by
Cited by
Year
Latent effects for reusable language components
B van den Berg, T Schrijvers, CB Poulsen, N Wu
Asian Symposium on Programming Languages and Systems, 182-201, 2021
16*2021
Structured handling of scoped effects
Z Yang, M Paviotti, N Wu, B van den Berg, T Schrijvers
Lecture Notes in Computer Science, 2022
112022
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
62024
A Modular Approach to Active Focus Stabilization for Fluorescence Microscopy
B van den Berg, R Van den Eynde, B Amouroux, M Müller, P Dedecker, ...
bioRxiv, 2020.09. 22.308197, 2020
3*2020
From probabilistic netkat to problog: New algorithms for inference and learning in probabilistic networks
B Van den Berg, T Van Bremen, V Derkinderen, A Kimmig, T Schrijvers, ...
International Conference on Probabilistic Programming, Location: Online, 2021
22021
Automatic Differentiation in Prolog
T Schrijvers, B van den Berg, F Riguzzi
arXiv preprint arXiv:2305.07878, 2023
12023
A Framework for Higher-Order Effects & Handlers
B van den Berg, T Schrijvers
arXiv preprint arXiv:2302.01415, 2023
12023
Type Inference for Disjoint Intersection Types
B van den Berg
KU Leuven, 2019
1*2019
Applications of Functional Modeling with Abstract Algebra: Higher-Order Effects and Automatic Differentiation
B van den Berg, T Schrijvers, P Dedecker
2023
eTeacher: A Pilot in Flemish Secondary Education
J Hoobergs, B van den Berg, T Schrijvers
Proceedings of the 2023 Conference on Innovation and Technology in Computer …, 2023
2023
A Calculus for Scoped Effects & Handlers
R Bosman, B van den Berg, W Tang, T Schrijvers
arXiv preprint arXiv:2304.09697, 2023
2023
Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper)
B van den Berg, T Schrijvers, P Dedecker
Practical Aspects of Declarative Languages: 25th International Symposium …, 2023
2023
A Functional Account of Probabilistic Programming with Possible Worlds: Declarative Pearl
B van den Berg, T Schrijvers
International Symposium on Functional and Logic Programming, 186-204, 2022
2022
A DSL for Fluorescence Microscopy⋆
B van den Berg, T Schrijvers, P Dedecker
TFP, 2020
2020
The system can't perform the operation now. Try again later.
Articles 1–14