Login / Signup
Suspension Analysis and Selective Continuation-Passing Style for Universal Probabilistic Programming Languages.
Daniel Lundén
Lars Hummelgren
Jan Kudlicka
Oscar Eriksson
David Broman
Published in:
ESOP (2) (2024)
Keyphrases
</>
programming language
software engineering
object oriented
general purpose
high level
logic programming
data abstraction
programming environment
strongly typed
object oriented programming
database systems
higher order
logic programs
lambda calculus