关注
Lars Hummelgren
Lars Hummelgren
在 kth.se 的电子邮件经过验证
标题
引用次数
引用次数
年份
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
系统目前无法执行此操作,请稍后再试。
文章 1–6