Daniel Lundén
96  Ergebnisse:
Personensuche X
?
1

Suspension Analysis and Selective Continuation-Passing Styl..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Lundén, Daniel ; Hummelgren, Lars ; Kudlicka, Jan.. - p. 302-330 , 2024
 
?
2

Automatic Alignment in Higher-Order Probabilistic Programmi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
 
?
3

Compiling Universal Probabilistic Programming Languages wit..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
Lundén, Daniel ; Öhman, Joey ; Kudlicka, Jan... - p. 29-56 , 2022
 
?
4

Correctness of Sequential Monte Carlo Inference for Probabi..:

, In: Programming Languages and Systems; Lecture Notes in Computer Science,
 
1-15