Obserwuj
Lars Hummelgren
Tytuł
Cytowane przez
Cytowane przez
Rok
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
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–6