Birthe van den Berg

According to our database, Birthe van den Berg authored at least 11 papers between 2021 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2024

Forward- or reverse-mode automatic differentiation: What's the difference?

Birthe van den Berg, Tom Schrijvers, James McKinna, Alexander Vandenbroucke

Sci. Comput. Program., January, 2024

2023

Automatic Differentiation in Prolog.

Tom Schrijvers, Birthe van den Berg, Fabrizio Riguzzi

Theory Pract. Log. Program., July, 2023

A Calculus for Scoped Effects & Handlers.

Roger Bosman, Birthe van den Berg, Wenhao Tang, Tom Schrijvers

CoRR, 2023

A Framework for Higher-Order Effects & Handlers.

Birthe van den Berg, Tom Schrijvers

CoRR, 2023

sf Fluo: A Domain-Specific Language for Experiments in Fluorescence Microscopy (Application Paper).

Birthe van den Berg, Tom Schrijvers, Peter Dedecker

Proceedings of the Practical Aspects of Declarative Languages, 2023

eTeacher: A Pilot in Flemish Secondary Education.

Jesse Hoobergs, Birthe van den Berg, Tom Schrijvers

Proceedings of the 2023 Conference on Innovation and Technology in Computer Science Education V. 2, 2023

2022

Structured Handling of Scoped Effects: Extended Version.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

CoRR, 2022

A Functional Account of Probabilistic Programming with Possible Worlds - Declarative Pearl.

Birthe van den Berg, Tom Schrijvers

Proceedings of the Functional and Logic Programming - 16th International Symposium, 2022

Structured Handling of Scoped Effects.

Zhixuan Yang, Marco Paviotti, Nicolas Wu, Birthe van den Berg, Tom Schrijvers

Proceedings of the Programming Languages and Systems, 2022

2021

Latent Effects for Reusable Language Components: Extended Version.

Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

CoRR, 2021

Latent Effects for Reusable Language Components.

Birthe van den Berg, Tom Schrijvers, Casper Bach Poulsen, Nicolas Wu

Proceedings of the Programming Languages and Systems - 19th Asian Symposium, 2021