ติดตาม
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