Följ
Lars Hummelgren
Titel
Citeras av
Citeras av
År
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
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–6