Follow
Lars Hummelgren
Title
Cited by
Cited by
Year
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages
D Lundén, L Hummelgren, J Kudlicka, O Eriksson, D Broman
European Symposium on Programming, 302-330, 2024
2024
Real-Time Probabilistic Programming
L Hummelgren, M Becker, D Broman
arXiv preprint arXiv:2311.06788, 2023
2023
Suspension Analysis and Selective Continuation-Passing Style for Higher-Order Probabilistic Programming Languages
D Lundén, L Hummelgren, J Kudlicka, O Eriksson, D Broman
arXiv preprint arXiv:2302.13051, 2023
2023
Expression Acceleration: Seamless Parallelization of Typed High-Level Languages
L Hummelgren, J Wikman, O Eriksson, P Haller, D Broman
arXiv preprint arXiv:2211.00621, 2022
2022
A contract language for modular specification and verification of temporal properties
L Hummelgren
2020
Using PAQ8L to play games of perfect information
L Hummelgren, A Lyxell
2018
The system can't perform the operation now. Try again later.
Articles 1–6